/******************************************************************************* * Copyright (c) 2000, 2015 IBM Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/epl-v10.html * * Contributors: * IBM Corporation - initial API and implementation * Tristan Hume - <trishume@gmail.com> - * Fix for Bug 2369 [Workbench] Would like to be able to save workspace without exiting * Implemented workbench auto-save to correctly restore state in case of crash. *******************************************************************************/ package org.eclipse.ui.internal.ide.dialogs; import org.eclipse.jface.preference.IPreferenceStore; import org.eclipse.swt.widgets.Composite; import org.eclipse.swt.widgets.Control; import org.eclipse.ui.IWorkbenchPreferencePage; import org.eclipse.ui.PlatformUI; import org.eclipse.ui.internal.IWorkbenchHelpContextIds; import org.eclipse.ui.internal.dialogs.WorkbenchPreferencePage; import org.eclipse.ui.internal.ide.IDEWorkbenchPlugin; /** * The IDE workbench main preference page. * *Note: want IDE settings to appear in main Workbench preference page (via subclassing), * however the superclass, WorkbenchPreferencePage, is internal */ public class IDEWorkbenchPreferencePage extends WorkbenchPreferencePage implements IWorkbenchPreferencePage { @Override protected Control createContents(Composite parent) { PlatformUI.getWorkbench().getHelpSystem().setHelp(parent, IWorkbenchHelpContextIds.WORKBENCH_PREFERENCE_PAGE); Composite composite = createComposite(parent); createSettings(composite); createOpenModeGroup(composite); applyDialogFont(composite); return composite; } /** * Returns the IDE preference store. * @return the preference store. */ protected IPreferenceStore getIDEPreferenceStore() { return IDEWorkbenchPlugin.getDefault().getPreferenceStore(); } /** * The default button has been pressed. */ @Override protected void performDefaults() { super.performDefaults(); } /** * The user has pressed Ok. Store/apply this page's values appropriately. */ @Override public boolean performOk() { return super.performOk(); } }