diff options
| author | Tobias Melcher | 2020-10-12 15:54:26 +0000 |
|---|---|---|
| committer | Matthias Becker | 2020-10-26 12:44:37 +0000 |
| commit | 67a74d76e7a99b3252d4ca29167f33e55cee9740 (patch) | |
| tree | d38a78ee38d99224a7be4dcffe241225dde8b7dc /org.eclipse.debug.ui/plugin.xml | |
| parent | 5b5b4b786f679ba15f8bffbbde3fb6dea1e01bfc (diff) | |
| download | eclipse.platform.debug-67a74d76e7a99b3252d4ca29167f33e55cee9740.tar.gz eclipse.platform.debug-67a74d76e7a99b3252d4ca29167f33e55cee9740.tar.xz eclipse.platform.debug-67a74d76e7a99b3252d4ca29167f33e55cee9740.zip | |
Bug 567816: Changing font size in variables viewY20201027-1200Y20201026-1200I20201026-1850
Change-Id: I9c69b8e535a32829a740480499901545bf672677
Signed-off-by: Tobias Melcher <Tobias.Melcher@sap.com>
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"> |