/** * {@inheritDoc} */ @Override public void initialize(IWorkbenchConfigurer configurer) { super.initialize(configurer); // save the state of the application regarding its position etc. configurer.setSaveAndRestore(true); }
@Override public void initialize(IWorkbenchConfigurer configurer) { PluginActionBuilder.setAllowIdeLogging(true); // make sure we always save and restore workspace state configurer.setSaveAndRestore(true); // register workspace adapters IDE.registerAdapters(); // register shared images declareWorkbenchImages(); // initialize the activity helper activityHelper = IDEWorkbenchActivityHelper.getInstance(); // initialize idle handler idleHelper = new IDEIdleHelper(configurer); // initialize the workspace undo monitor workspaceUndoMonitor = WorkspaceUndoMonitor.getInstance(); // show Help button in JFace dialogs TrayDialog.setDialogHelpAvailable(true); // Set the default value of the preference controlling the workspace // name displayed in the window title. setWorkspaceNameDefault(); if (!jfaceComparatorIsSet) { // Policy.setComparator can only be called once in Jface lifetime Policy.setComparator(Collator.getInstance()); jfaceComparatorIsSet = true; } }