aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKrzysztof Kazmierczyk2013-07-29 09:38:47 (EDT)
committerDani Megert2013-07-29 09:38:47 (EDT)
commitf50d295ada4fda9568eff590ff812b6f65a5700a (patch)
tree8fbafd0ee865d54d3c92fcea294bb546f136be24
parentd7201bbae26fcc8114d51176cc51972ceb118c57 (diff)
downloadeclipse.platform.ui-f50d295ada4fda9568eff590ff812b6f65a5700a.zip
eclipse.platform.ui-f50d295ada4fda9568eff590ff812b6f65a5700a.tar.gz
eclipse.platform.ui-f50d295ada4fda9568eff590ff812b6f65a5700a.tar.bz2
Fixed bug 410900: Color preferences must be applied after each restart when using high contrast themev20130729
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.java7
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 6fed79c..7e46ddb 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());
}
});
}