1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-29 19:45:01 +02:00

Bug 579876: Use same bgcolor for occurrence in editor as JDT

Contributed by STMicroelectronics

Change-Id: Ic1bfd9af7d308a8c9b14a9b2f40bbd278a0ceca0
Signed-off-by: Torbjörn Svensson <torbjorn.svensson@st.com>
This commit is contained in:
Torbjörn Svensson 2022-05-13 12:29:25 +02:00
parent 7b040db113
commit a1794246d5

View file

@ -88,6 +88,14 @@ IEclipsePreferences#org-eclipse-cdt-ui:org-eclipse-cdt-ui {
}
IEclipsePreferences#org-eclipse-ui-editors:org-eclipse-cdt-ui { /* pseudo attribute added to allow contributions without replacing this node, see Bug 466075 */
preferences:
"org.eclipse.cdt.ui.occurrenceIndicationColor=27,98,145"
"org.eclipse.cdt.ui.writeOccurrenceIndicationColor=27,98,145"
"org.eclipse.cdt.ui.overrideIndicatorColor=27,98,145"
}
IEclipsePreferences#org-eclipse-ui-workbench:org-eclipse-cdt-ui { /* pseudo attribute added to allow contributions without replacing this node, see Bug 466075 */
preferences:
"org.eclipse.cdt.ui.ColoredLabels.writeaccess_highlight=255,128,128"