mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-07 00:05:53 +02:00
Code Issues Wiki Activity

Bug 468206 - unable to change search match background color

Browse source 
Search background color will be now taken from:
Preferences > General > Appearance > Color and Fonts > Match highlight
background color
so it will look good on both default and dark theme.

Change-Id: I2800b6cd3ac651cda577cc533149f0ead0fa75f3
Signed-off-by: Tomasz Rojek <me@tomrosystems.com>
This commit is contained in:
Tomasz Rojek 2019-04-03 21:14:47 +02:00 • committed by Jonah Graham
parent e93ea0ab70
commit 5131b86d9a
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
core/org.eclipse.cdt.ui/plugin.xml
View file

@ -630,7 +630,7 @@
categoryId="org.eclipse.cdt.ui.presentation"
isEditable="true"
label="%CSearch.color.match_highlight"
value="206, 204, 247">
defaultsTo="org.eclipse.search.ui.match.highlight">
</colorDefinition>
<colorDefinition
id="org.eclipse.cdt.ui.ColoredLabels.writeaccess_highlight"