diff options
| author | Krzysztof Kazmierczyk | 2013-07-29 13:38:47 +0000 |
|---|---|---|
| committer | Dani Megert | 2013-07-29 14:00:24 +0000 |
| commit | 5c4d04667d6d61fb67dde3840a3d2a39ab4c9416 (patch) | |
| tree | 3fb29ddf72d472bdff6af8a8afba8f25b8dc6738 | |
| parent | 91f5f783c263ec7860010b30745401a54aff0db5 (diff) | |
| download | eclipse.platform.ui-5c4d04667d6d61fb67dde3840a3d2a39ab4c9416.tar.gz eclipse.platform.ui-5c4d04667d6d61fb67dde3840a3d2a39ab4c9416.tar.xz eclipse.platform.ui-5c4d04667d6d61fb67dde3840a3d2a39ab4c9416.zip | |
Fixed bug 410900: Color preferences must be applied after each restart when using high contrast theme
Signed-off-by: Krzysztof Kazmierczyk <krzysztof.kazmierczyk@pl.ibm.com>
| -rw-r--r-- | bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/Workbench.java | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/Workbench.java b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/Workbench.java index 6fed79c215c..7e46ddb4aae 100644 --- a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/Workbench.java +++ b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/Workbench.java @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2000, 2011 IBM Corporation and others. + * Copyright (c) 2000, 2013 IBM Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at @@ -1656,9 +1656,8 @@ public final class Workbench extends EventManager implements IWorkbench { public void runWithException() { ColorDefinition[] colorDefinitions = WorkbenchPlugin .getDefault().getThemeRegistry().getColors(); - ThemeElementHelper.populateRegistry(getThemeManager().getTheme( - IThemeManager.DEFAULT_THEME), colorDefinitions, - PrefUtil.getInternalPreferenceStore()); + ThemeElementHelper.populateRegistry(getThemeManager().getCurrentTheme(), + colorDefinitions, PrefUtil.getInternalPreferenceStore()); } }); } |