diff options
Diffstat (limited to 'org.eclipse.debug.ui/plugin.xml')
-rw-r--r-- | org.eclipse.debug.ui/plugin.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/org.eclipse.debug.ui/plugin.xml b/org.eclipse.debug.ui/plugin.xml index a6826f94d..ca0a02b4b 100644 --- a/org.eclipse.debug.ui/plugin.xml +++ b/org.eclipse.debug.ui/plugin.xml @@ -3266,6 +3266,12 @@ M4 = Platform-specific fourth key refid="org.eclipse.e4.ui.css.theme.e4_dark"> </themeid> </stylesheet> + <stylesheet + uri="css/e4-light_debug_prefstyle.css"> + <themeid + refid="org.eclipse.e4.ui.css.theme.e4_default"> + </themeid> + </stylesheet> </extension> <extension point="org.eclipse.debug.ui.launchConfigurationTypeImages"> |