ProgressManager.getInstance().setShowSystemJobs(setting);
}
if (IWorkbenchPreferenceConstants.DEFAULT_PERSPECTIVE_ID.equals(propertyName)) {
IWorkbench workbench = PlatformUI.getWorkbench();
workbench.getPerspectiveRegistry().setDefaultPerspective(
PrefUtil.getAPIPreferenceStore().getString(
IWorkbenchPreferenceConstants.DEFAULT_PERSPECTIVE_ID));
return;
}
if (IWorkbenchPreferenceConstants.DOCK_PERSPECTIVE_BAR
.equals(propertyName)) {
IPreferenceStore apiStore = PrefUtil.getAPIPreferenceStore();
IWorkbench workbench = PlatformUI.getWorkbench();
IWorkbenchWindow[] workbenchWindows = workbench
.getWorkbenchWindows();
for (int i = 0; i < workbenchWindows.length; i++) {
IWorkbenchWindow window = workbenchWindows[i];
if (window instanceof WorkbenchWindow) {
((WorkbenchWindow) window)
.setPerspectiveBarLocation(apiStore
.getString(IWorkbenchPreferenceConstants.DOCK_PERSPECTIVE_BAR));
}
}
return;
}
// TODO the banner apperance should have its own preference
if (IWorkbenchPreferenceConstants.SHOW_TRADITIONAL_STYLE_TABS
.equals(propertyName)) {
boolean newValue = PrefUtil.getAPIPreferenceStore().getBoolean(
IWorkbenchPreferenceConstants.SHOW_TRADITIONAL_STYLE_TABS);
IWorkbench workbench = PlatformUI.getWorkbench();
IWorkbenchWindow[] workbenchWindows = workbench
.getWorkbenchWindows();
for (int i = 0; i < workbenchWindows.length; i++) {
IWorkbenchWindow window = workbenchWindows[i];
if (window instanceof WorkbenchWindow) {
((WorkbenchWindow) window).setBannerCurve(newValue);