mirror of
https://github.com/eclipse-cdt/cdt
synced 2024-10-28 03:59:40 +01: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>
(cherry picked from commit a1794246d5
)
This commit is contained in:
parent
3475ac77a3
commit
b212243c2b
1 changed files with 8 additions and 0 deletions
|
@ -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"
|
||||
|
|
Loading…
Reference in a new issue