-
Notifications
You must be signed in to change notification settings - Fork 231
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Change editor-color (#67) #99
Conversation
I'll probably get to implementing the menu-part in the next few days. |
Thanks for making a PR for this. It would be good to have the new color selectors in a box like the "Syntax Styling" box. Currently they look very squished in the bottom left. Additionally, it is currently missing an easy way to reset to defaults. It would be nice if the line numbers respected the settings. I really have no idea how hard that might be, but currently it is quite weird to have the line numbers stick out. |
… to JEditBasedTextArea
Done!
The reason why there are down there, has because syntax styles are managed differently compared to the other color settings used in the UI. But sure i can try to put them into a similar box. On the reset functionality, the reset should work with global reset button already. But I'm currently working on a way to optionally also use the look and feel as a default-option. |
Yeah, it definitely makes sense to not include them in the "Syntax Styling" box. A separate, but similar box would be ideal.
I hadn't tested the global reset. That should be fine then. |
I'm looking into it - Also experimenting, if we could also make use of the colors provided by the system via look and feel |
I'm aware that e086eea is rather big, but it should enable the system-colors to be used, if wished. |
The layout hasn't really changed yet, I'll do that next |
Okay the settings should be also now relocated |
@TheThirdOne is there anything still to do or is this good now? |
I did not notice your last commit so I thought that the relocation has yet to be implemented. Sorry about that. I will review your PR fully sometime within a week. Thanks for taking the time to make it. |
I found three issues during my review. Only the first will delay merging this, but I am content to fix it so you don't need to take any action unless you want this merged a little faster. I am including the others here mostly as a note to myself in the future. System line highlight being derived from background and line selection is not intuitive from the UI. At first I had thought that there was a bug in saving the preference for background color; making the color displayed update when you change either of the mixed colors would be essential. On my machine, using the gtk look and feel makes the custom colors not appear properly. I suspect this is not a universal problem and I also believe this is a preexisting issue as it also affects the syntax highlighting colors. I don't think that the old code for backgrounds of the editer actually ever made it visibly gray, but I would like to be more sure. |
On 1: Yes i kinda looked for a neat way to get a system-color for the line-selection, since there is no property in the look and feel for it. So i thought i would be a good idea to mix the selection and background to automatically get some kind sensible color scheme there. On 2: Yes i have a similar experience in the settings, the color-buttons don't have colors there - the reason is that in gtk the buttons probably may not have colors. The rest of the app (besides some smaller unimportant details) is themed as excepted though. On 3: Yes it indeed didn't change anything, since it only updated the Panel iirc, but didn't update the painter (which has a separate background-setting) |
Hi, sorry for the late continuation of this. |
Sorry that it took so long for me to merge this in. I haven't worked on RARS much recently. |
Hi,
This should address issue #67
It will add the option to change the background-color, the default-foreground-color, text-selection-color, caret-color and the background of the highlighted line. This will only touch the non-generic editor (
JEditBasedTextArea
), which also has the other color-options.Status:
This is my first time adding something to a java-ui so please go ahead and tell me if there is any issue.
~ XLP
(This fixes #67)