diff options
Diffstat (limited to 'org.eclipse.debug.ui/plugin.xml')
| -rw-r--r-- | org.eclipse.debug.ui/plugin.xml | 10 |
1 files changed, 9 insertions, 1 deletions
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> |