diff options
| author | Curtis Windatt | 2008-05-08 20:26:07 +0000 |
|---|---|---|
| committer | Curtis Windatt | 2008-05-08 20:26:07 +0000 |
| commit | 098230474264c5eaa78d5303c0132945d965d7b8 (patch) | |
| tree | 84abc95c65a687cc7f490646cb26822fff6d0846 /org.eclipse.debug.ui/plugin.xml | |
| parent | f6381fa2fc9e513d9c653f18fb97a6fa4f0b441a (diff) | |
| download | eclipse.platform.debug-098230474264c5eaa78d5303c0132945d965d7b8.tar.gz eclipse.platform.debug-098230474264c5eaa78d5303c0132945d965d7b8.tar.xz eclipse.platform.debug-098230474264c5eaa78d5303c0132945d965d7b8.zip | |
Bug 209243 - Console window with black background
https://bugs.eclipse.org/bugs/show_bug.cgi?id=209243
Diffstat (limited to 'org.eclipse.debug.ui/plugin.xml')
| -rw-r--r-- | org.eclipse.debug.ui/plugin.xml | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/org.eclipse.debug.ui/plugin.xml b/org.eclipse.debug.ui/plugin.xml index 637e25a59..ed3227915 100644 --- a/org.eclipse.debug.ui/plugin.xml +++ b/org.eclipse.debug.ui/plugin.xml @@ -2665,4 +2665,52 @@ M4 = Platform-specific fourth key </detailFactories> </extension> + <extension + point="org.eclipse.ui.themes"> + <colorDefinition + id="org.eclipse.debug.ui.console.background" + isEditable="false" + label="%console.background.label" + value="255,255,255"> + </colorDefinition> + <colorDefinition + id="org.eclipse.debug.ui.console.stream.out" + isEditable="false" + label="%console.out.label" + value="0,0,0"> + </colorDefinition> + <colorDefinition + id="org.eclipse.debug.ui.console.stream.in" + isEditable="false" + label="%console.in.label" + value="0,200,125"> + </colorDefinition> + <colorDefinition + id="org.eclipse.debug.ui.console.stream.err" + isEditable="false" + label="%console.err.label" + value="255,0,0"> + </colorDefinition> + + <theme + id="org.eclipse.ui.ide.systemDefault"> + <colorOverride + id="org.eclipse.debug.ui.console.background" + value="COLOR_LIST_BACKGROUND"> + </colorOverride> + <colorOverride + id="org.eclipse.debug.ui.console.stream.out" + value="COLOR_LIST_FOREGROUND"> + </colorOverride> + <colorOverride + id="org.eclipse.debug.ui.console.stream.in" + value="COLOR_LIST_FOREGROUND"> + </colorOverride> + <colorOverride + id="org.eclipse.debug.ui.console.stream.err" + value="COLOR_LIST_FOREGROUND"> + </colorOverride> + </theme> + </extension> + </plugin> |