Eclipse editor [message #1827638] |
Tue, 19 May 2020 19:11  |
Eclipse User |
|
|
|
Hey, guys. I'm new to this and I wanted to ask you all some question about eclipse editor.
I tried to change some colours, and so far so good but until I encountered with "Error text color" which I modified but didn't see any changes at all. Anyone knows what this modifies?
Thanks,
Nicolas.
|
|
|
|
Re: Eclipse editor [message #1827832 is a reply to message #1827681] |
Mon, 25 May 2020 08:56  |
Eclipse User |
|
|
|
The property defines the org.eclipse.jface.preference.JFacePreferences.ERROR_COLOR color, it is used in JFaceColors.getErrorText(...). The color is in the org.eclipse.ui.workbenchMisc category, together with the hyperlink colors, therefore it does not relate to an editor.
It is used in the status-line and find-replace dialog, among others.
|
|
|
Powered by
FUDForum. Page generated in 0.05298 seconds