aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKrzysztof Kazmierczyk2013-07-29 09:38:47 (EDT)
committerDani Megert2013-07-29 10:00:24 (EDT)
commit5c4d04667d6d61fb67dde3840a3d2a39ab4c9416 (patch)
tree3fb29ddf72d472bdff6af8a8afba8f25b8dc6738
parent91f5f783c263ec7860010b30745401a54aff0db5 (diff)
downloadeclipse.platform.ui-5c4d04667d6d61fb67dde3840a3d2a39ab4c9416.zip
eclipse.platform.ui-5c4d04667d6d61fb67dde3840a3d2a39ab4c9416.tar.gz
eclipse.platform.ui-5c4d04667d6d61fb67dde3840a3d2a39ab4c9416.tar.bz2
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.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());
}
});
}