| 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 |
|