diff options
| author | Stephan Wahlbrink | 2021-08-10 19:47:52 +0000 |
|---|---|---|
| committer | Stephan Wahlbrink | 2021-08-10 21:00:18 +0000 |
| commit | a1ec2237d657fb45f2fb4b18f6b97bfd02e7f5bd (patch) | |
| tree | b857074f40a3c5a385a69845e98903cb6e5a48bc | |
| parent | 93526b8f80905b769dedbb43fe36c1823ebea757 (diff) | |
| download | org.eclipse.statet-r-a1ec2237d657fb45f2fb4b18f6b97bfd02e7f5bd.tar.gz org.eclipse.statet-r-a1ec2237d657fb45f2fb4b18f6b97bfd02e7f5bd.tar.xz org.eclipse.statet-r-a1ec2237d657fb45f2fb4b18f6b97bfd02e7f5bd.zip | |
Bug 575289: [NiConsole] Make use of added theme color
Change-Id: Iceab24da220f4554efb326a5b2bc03be05af3d9d
| -rw-r--r-- | r/org.eclipse.statet.nico.ui/src/org/eclipse/statet/internal/nico/ui/preferences/ConsolePreferences.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/r/org.eclipse.statet.nico.ui/src/org/eclipse/statet/internal/nico/ui/preferences/ConsolePreferences.java b/r/org.eclipse.statet.nico.ui/src/org/eclipse/statet/internal/nico/ui/preferences/ConsolePreferences.java index 880467fa..324e8c00 100644 --- a/r/org.eclipse.statet.nico.ui/src/org/eclipse/statet/internal/nico/ui/preferences/ConsolePreferences.java +++ b/r/org.eclipse.statet.nico.ui/src/org/eclipse/statet/internal/nico/ui/preferences/ConsolePreferences.java @@ -94,7 +94,7 @@ public class ConsolePreferences extends AbstractPreferenceInitializer { outputPrefs.putBoolean(NicoUIPreferences.OUTPUT_STD_ERROR_STREAM_ROOT_KEY + TEXTSTYLE_STRIKETHROUGH_SUFFIX, false); outputPrefs.put(NicoUIPreferences.OUTPUT_OTHER_TASKS_BACKGROUND_COLOR_KEY, - theme.getColorPrefValue("org.eclipse.statet.workbench.themes.CodeRawBackgroundColor") ); //$NON-NLS-1$ + theme.getColorPrefValue(IWaThemeConstants.CODE_MOD1_BACKGROUND_COLOR) ); PreferenceUtils.setPrefValue(scope, NicoUIPreferences.OUTPUT_FILTER_SUBMITTYPES_INCLUDE_PREF, EnumSet.allOf(SubmitType.class) ); |