diff options
| author | Dani Megert | 2007-05-08 08:59:24 +0000 |
|---|---|---|
| committer | Dani Megert | 2007-05-08 08:59:24 +0000 |
| commit | 3098798e41c23d4323874c99929fccdd7bab24ee (patch) | |
| tree | 0c881d015eb8c6a523b519dac6ed512f6e221095 /org.eclipse.ui.editors/plugin.xml | |
| parent | 70358ae28670c6625e53a85b134d24cbd31194c0 (diff) | |
| download | eclipse.platform.text-3098798e41c23d4323874c99929fccdd7bab24ee.tar.gz eclipse.platform.text-3098798e41c23d4323874c99929fccdd7bab24ee.tar.xz eclipse.platform.text-3098798e41c23d4323874c99929fccdd7bab24ee.zip | |
Fixed parts of bug 185111: Can not read java editor when in XPs high contrast modev20070508-0800
Diffstat (limited to 'org.eclipse.ui.editors/plugin.xml')
| -rw-r--r-- | org.eclipse.ui.editors/plugin.xml | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/org.eclipse.ui.editors/plugin.xml b/org.eclipse.ui.editors/plugin.xml index 00577f4ab28..fb166ec3f87 100644 --- a/org.eclipse.ui.editors/plugin.xml +++ b/org.eclipse.ui.editors/plugin.xml @@ -965,6 +965,16 @@ label="%dummy" value="176,180,185"> </colorDefinition> + <colorDefinition + id="org.eclipse.ui.editors.backgroundColor" + label="%dummy" + value="255,255,255"> + </colorDefinition> + <colorDefinition + id="org.eclipse.ui.editors.foregroundColor" + label="%dummy" + value="0,0,0"> + </colorDefinition> <theme id="org.eclipse.ui.ide.systemDefault"> @@ -988,6 +998,14 @@ id="org.eclipse.ui.editors.hyperlinkColor" value="LIST_SELECTION_COLOR"> </colorOverride> + <colorOverride + id="org.eclipse.ui.editors.backgroundColor" + value="COLOR_LIST_BACKGROUND"> + </colorOverride> + <colorOverride + id="org.eclipse.ui.editors.foregroundColor" + value="COLOR_LIST_FOREGROUND"> + </colorOverride> </theme> </extension> |