diff options
author | Lucas Bullen | 2018-02-28 16:45:20 +0000 |
---|---|---|
committer | Mickael Istria | 2018-02-28 16:52:11 +0000 |
commit | 55d136087f814f2fedd9e38e9f215a4f57a38636 (patch) | |
tree | 3156ff505c490db43ddfca718070f15b4eb46d63 /org.eclipse.ui.genericeditor | |
parent | 36bd2d84955a5700217edb390a3483340014e2a2 (diff) | |
download | eclipse.platform.text-55d136087f814f2fedd9e38e9f215a4f57a38636.tar.gz eclipse.platform.text-55d136087f814f2fedd9e38e9f215a4f57a38636.tar.xz eclipse.platform.text-55d136087f814f2fedd9e38e9f215a4f57a38636.zip |
Bug 531782 - Generic editor mark occurrences color in dark theme sub parI20180301-2000I20180228-2000
Change-Id: I467a68d63feccbdf6a40376bd6debf960f3dce1e
Signed-off-by: Lucas Bullen <lbullen@redhat.com>
Diffstat (limited to 'org.eclipse.ui.genericeditor')
-rw-r--r-- | org.eclipse.ui.genericeditor/resources/css/dark.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.ui.genericeditor/resources/css/dark.css b/org.eclipse.ui.genericeditor/resources/css/dark.css index 34c46b58c9d..87ea22460a2 100644 --- a/org.eclipse.ui.genericeditor/resources/css/dark.css +++ b/org.eclipse.ui.genericeditor/resources/css/dark.css @@ -11,6 +11,6 @@ IEclipsePreferences#org-eclipse-ui-editors:org-eclipse-ui-genericeditor { preferences: - 'TextOccurrenceIndicationColor=27,98,145' + 'TextOccurrenceIndicationColor=17, 61, 91' } |