diff options
Diffstat (limited to 'bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/e4/ui/workbench/addons/perspectiveswitcher/PerspectiveSwitcher.java')
-rw-r--r-- | bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/e4/ui/workbench/addons/perspectiveswitcher/PerspectiveSwitcher.java | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/e4/ui/workbench/addons/perspectiveswitcher/PerspectiveSwitcher.java b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/e4/ui/workbench/addons/perspectiveswitcher/PerspectiveSwitcher.java index 59cca83a6ff..2d10eebd5dc 100644 --- a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/e4/ui/workbench/addons/perspectiveswitcher/PerspectiveSwitcher.java +++ b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/e4/ui/workbench/addons/perspectiveswitcher/PerspectiveSwitcher.java @@ -623,7 +623,13 @@ UIEvents.ElementContainer.TOPIC_CHILDREN, childrenHandler); public void propertyChange(PropertyChangeEvent propertyChangeEvent) { if (IWorkbenchPreferenceConstants.SHOW_TEXT_ON_PERSPECTIVE_BAR .equals(propertyChangeEvent.getProperty())) { - changeShowText((Boolean) propertyChangeEvent.getNewValue()); + Object newValue = propertyChangeEvent.getNewValue(); + boolean showText = true; // default + if (newValue instanceof Boolean) + showText = ((Boolean) newValue).booleanValue(); + else if ("false".equals(newValue)) //$NON-NLS-1$ + showText = false; + changeShowText(showText); } } }; |