diff options
| author | Andrea Guarinoni | 2014-05-25 21:13:49 +0000 |
|---|---|---|
| committer | Dani Megert | 2014-05-28 08:12:31 +0000 |
| commit | 2b472ac6c5dc8eb0f92c3aef321949ba3e0f7014 (patch) | |
| tree | dfbe718b99d58913fea68af0f9b1517b0a52407d | |
| parent | cbe18f3104ab788e828ead636f1e3b47f253c283 (diff) | |
| download | eclipse.platform.debug-2b472ac6c5dc8eb0f92c3aef321949ba3e0f7014.tar.gz eclipse.platform.debug-2b472ac6c5dc8eb0f92c3aef321949ba3e0f7014.tar.xz eclipse.platform.debug-2b472ac6c5dc8eb0f92c3aef321949ba3e0f7014.zip | |
Provide resonable defaults for syntax color of Debug views in Dark themeI20140528-0830I20140528-0800
Bug 435721
Change-Id: I0c9ae1b25d643d15f2cd426bd4603e03ccd0f63a
Signed-off-by: Andrea Guarinoni <andrea.guarinoni@gmail.com>
Signed-off-by: Dani Megert <Daniel_Megert@ch.ibm.com>
| -rw-r--r-- | org.eclipse.debug.ui/build.properties | 4 | ||||
| -rw-r--r-- | org.eclipse.debug.ui/css/e4-dark_debug_prefstyle.css | 24 | ||||
| -rw-r--r-- | org.eclipse.debug.ui/plugin.xml | 10 |
3 files changed, 35 insertions, 3 deletions
diff --git a/org.eclipse.debug.ui/build.properties b/org.eclipse.debug.ui/build.properties index 297665d65..204324de6 100644 --- a/org.eclipse.debug.ui/build.properties +++ b/org.eclipse.debug.ui/build.properties @@ -14,8 +14,8 @@ bin.includes = icons/,\ .,\ about.html,\ META-INF/,\ - .options - + .options,\ + css source.. = ui/ src.includes = about.html,\ schema/ diff --git a/org.eclipse.debug.ui/css/e4-dark_debug_prefstyle.css b/org.eclipse.debug.ui/css/e4-dark_debug_prefstyle.css new file mode 100644 index 000000000..205786c77 --- /dev/null +++ b/org.eclipse.debug.ui/css/e4-dark_debug_prefstyle.css @@ -0,0 +1,24 @@ +/******************************************************************************* + * Copyright (c) 2014 Andrea Guarinoni and others. + * All rights reserved. This program and the accompanying materials + * are made available under the terms of the Eclipse Public License v1.0 + * which accompanies this distribution, and is available at + * http://www.eclipse.org/legal/epl-v10.html + * + * Contributors: + * Andrea Guarinoni - initial API and implementation + *******************************************************************************/ + +/* ############################## Debug preferences ############################## */ + +IEclipsePreferences#org-eclipse-debug-ui { + preferences: + 'org.eclipse.debug.ui.MemoryHistoryKnownColor=235,235,235' + 'org.eclipse.debug.ui.MemoryHistoryUnknownColor=170,175,185' + 'org.eclipse.debug.ui.PREF_CHANGED_VALUE_BACKGROUND=150,80,115' + 'org.eclipse.debug.ui.changedDebugElement=255,128,128' + 'org.eclipse.debug.ui.consoleBackground=53,53,53' + 'org.eclipse.debug.ui.errorColor=225,30,70' + 'org.eclipse.debug.ui.inColor=140,175,210' + 'org.eclipse.debug.ui.outColor=235,235,235' +}
\ No newline at end of file diff --git a/org.eclipse.debug.ui/plugin.xml b/org.eclipse.debug.ui/plugin.xml index 4d7e1480e..dd6c2221a 100644 --- a/org.eclipse.debug.ui/plugin.xml +++ b/org.eclipse.debug.ui/plugin.xml @@ -3188,5 +3188,13 @@ M4 = Platform-specific fourth key </bundle> </component> </extension> - + <extension + point="org.eclipse.e4.ui.css.swt.theme"> + <stylesheet + uri="css/e4-dark_debug_prefstyle.css"> + <themeid + refid="org.eclipse.e4.ui.css.theme.e4_dark"> + </themeid> + </stylesheet> + </extension> </plugin> |