aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKrzysztof Kazmierczyk2013-07-29 10:33:02 (EDT)
committerDani Megert2013-07-29 10:33:02 (EDT)
commit8e51bb72365969ab32d23e6dc533b550b962aa66 (patch)
tree9263fc67f3c2f605e9423349d06b0ce91a0315ec
parent7967ce1d42a1f561b0339770d715271aee1608a1 (diff)
downloadeclipse.platform.ui-8e51bb72365969ab32d23e6dc533b550b962aa66.zip
eclipse.platform.ui-8e51bb72365969ab32d23e6dc533b550b962aa66.tar.gz
eclipse.platform.ui-8e51bb72365969ab32d23e6dc533b550b962aa66.tar.bz2
Fixed bug 410900: Color preferences must be applied after each restart when using high contrast themev20130729-1033
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 d81199e..f1b69c0 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, 2010 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
@@ -1623,9 +1623,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());
}
});
}