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 184ad0608..a96e1f6c6 100644 --- a/org.eclipse.debug.ui/plugin.xml +++ b/org.eclipse.debug.ui/plugin.xml @@ -3309,6 +3309,12 @@ M4 = Platform-specific fourth key refid="org.eclipse.e4.ui.css.theme.e4_default"> </themeid> </stylesheet> + <stylesheet + uri="css/e4-light_debug_prefstyle_system.css"> + <themeid + refid="org.eclipse.e4.ui.css.theme.e4_system"> + </themeid> + </stylesheet> </extension> <extension point="org.eclipse.debug.ui.launchConfigurationTypeImages"> |