50 |
50 |
import org.eclipse.core.runtime.IStatus;
|
51 |
51 |
import org.eclipse.core.runtime.Platform;
|
52 |
52 |
import org.eclipse.core.runtime.Status;
|
|
53 |
import org.eclipse.core.runtime.preferences.BundleDefaultsScope;
|
53 |
54 |
import org.eclipse.core.runtime.preferences.DefaultScope;
|
54 |
55 |
import org.eclipse.e4.ui.css.swt.theme.IThemeEngine;
|
55 |
56 |
import org.eclipse.e4.ui.css.swt.theme.IThemeManager;
|
... | ... | |
91 |
92 |
import org.eclipse.ui.console.IOConsoleOutputStream;
|
92 |
93 |
import org.eclipse.ui.dialogs.ListSelectionDialog;
|
93 |
94 |
import org.eclipse.ui.handlers.IHandlerService;
|
|
95 |
import org.eclipse.ui.internal.IPreferenceConstants;
|
|
96 |
import org.eclipse.ui.internal.WorkbenchPlugin;
|
94 |
97 |
import org.eclipse.ui.internal.dialogs.WorkbenchPreferenceNode;
|
95 |
98 |
import org.eclipse.ui.statushandlers.StatusManager;
|
96 |
99 |
import org.osgi.framework.Bundle;
|
... | ... | |
154 |
157 |
public void initialize(IWorkbenchConfigurer configurer) {
|
155 |
158 |
org.eclipse.ui.ide.IDE.registerAdapters();
|
156 |
159 |
|
157 |
|
// WorkbenchAdapterBuilder.registerAdapters(); // deprecated
|
158 |
|
PlatformUI.getPreferenceStore().setValue(
|
159 |
|
IWorkbenchPreferenceConstants.SHOW_PROGRESS_ON_STARTUP, true);
|
|
160 |
PlatformUI.getPreferenceStore().setValue(IWorkbenchPreferenceConstants.SHOW_PROGRESS_ON_STARTUP, true);
|
|
161 |
|
160 |
162 |
InitializeLogger();
|
161 |
163 |
|
162 |
164 |
configurer.setSaveAndRestore(true);
|
... | ... | |
795 |
797 |
|
796 |
798 |
// save preference if USER_TXM_HOME has changed
|
797 |
799 |
TBXPreferences.getInstance().put(TBXPreferences.USER_TXM_HOME, txmhomedir.getAbsolutePath());
|
798 |
|
DefaultScope.INSTANCE.getNode("org.eclipse.ui.workbench").putBoolean("RUN_IN_BACKGROUND", false); //$NON-NLS-1$ //$NON-NLS-2$ $NON-NLS-2$
|
799 |
|
DefaultScope.INSTANCE.getNode("org.eclipse.ui.workbench").flush(); //$NON-NLS-1$
|
800 |
800 |
TBXPreferences.getInstance().flush();
|
801 |
801 |
// TXMPreferences.saveAll();
|
802 |
802 |
|
... | ... | |
1072 |
1072 |
try {
|
1073 |
1073 |
printTXMVersion();
|
1074 |
1074 |
|
|
1075 |
// ensure some preferences are set
|
|
1076 |
DefaultScope.INSTANCE.getNode("org.eclipse.ui.workbench").putBoolean(IPreferenceConstants.RUN_IN_BACKGROUND, false); //$NON-NLS-1$ //$NON-NLS-2$ $NON-NLS-2$
|
|
1077 |
DefaultScope.INSTANCE.getNode("org.eclipse.ui.workbench").flush(); //$NON-NLS-1$
|
|
1078 |
BundleDefaultsScope.INSTANCE.getNode("org.eclipse.ui.workbench").putBoolean(IPreferenceConstants.RUN_IN_BACKGROUND, false); //$NON-NLS-1$ //$NON-NLS-2$ $NON-NLS-2$
|
|
1079 |
BundleDefaultsScope.INSTANCE.getNode("org.eclipse.ui.workbench").flush(); //$NON-NLS-1$
|
|
1080 |
|
|
1081 |
WorkbenchPlugin.getDefault().getPreferenceStore().setValue(IPreferenceConstants.RUN_IN_BACKGROUND, false);
|
|
1082 |
WorkbenchPlugin.getDefault().getPreferenceStore().setDefault(IPreferenceConstants.RUN_IN_BACKGROUND, false);
|
|
1083 |
WorkbenchPlugin.getDefault().getPreferenceStore().setValue(IPreferenceConstants.WORKBENCH_SAVE_INTERVAL, 30);
|
|
1084 |
WorkbenchPlugin.getDefault().getPreferenceStore().setDefault(IPreferenceConstants.WORKBENCH_SAVE_INTERVAL, 30);
|
|
1085 |
|
1075 |
1086 |
jobHandler.setTaskName(TXMUIMessages.setDefaultTheme);
|
1076 |
1087 |
setDefaultTheme();
|
1077 |
1088 |
|