Notice: This Wiki is now read only and edits are no longer possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "Eclipse4/CSS/StylingOfPreferences"
(→The styling of the preference values with CSS) |
(→The styling of the preference values with CSS) |
||
| Line 1: | Line 1: | ||
== The styling of the preference values with CSS == | == The styling of the preference values with CSS == | ||
| − | The special '''IEclipsePreferences''' element with the proper preference node id has to be added to the CSS file in order to override the preference values | + | The special '''IEclipsePreferences''' element with the proper preference node id has to be added to the CSS file in order to override the preference values. The names with the new values have to be listed in the 'preferences' property and delimited with space or comma character. |
<source lang="css"> | <source lang="css"> | ||
| Line 15: | Line 15: | ||
} | } | ||
</source> | </source> | ||
| + | |||
:[[File:SampleOfStylingTheJDTEditor.png]] | :[[File:SampleOfStylingTheJDTEditor.png]] | ||
Revision as of 09:48, 15 May 2014
The styling of the preference values with CSS
The special IEclipsePreferences element with the proper preference node id has to be added to the CSS file in order to override the preference values. The names with the new values have to be listed in the 'preferences' property and delimited with space or comma character.
IEclipsePreferences#org-eclipse-jdt-ui { preferences: 'semanticHighlighting.abstractClass.color=255,0,255' 'semanticHighlighting.abstractClass.enabled=true' 'java_bracket=255,0,0' 'java_bracket_bold=true' 'java_bracket_italic=true' 'java_bracket_strikethrough=true' 'java_bracket_underline=' }
