blob: eefc04d7de1b53a6d430b33e9cf2db27058d65ad [file] [log] [blame]
/*******************************************************************************
* Copyright (c) 2010, 2011 Mia-Software.
* 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:
* Nicolas Bros (Mia-Software)
*******************************************************************************/
package org.eclipse.gmt.modisco.infra.browser.preferences;
import org.eclipse.gmt.modisco.infra.browser.Messages;
import org.eclipse.gmt.modisco.infra.browser.MoDiscoBrowserPlugin;
import org.eclipse.jface.preference.BooleanFieldEditor;
import org.eclipse.jface.preference.FieldEditorPreferencePage;
import org.eclipse.jface.preference.IntegerFieldEditor;
import org.eclipse.ui.IWorkbench;
import org.eclipse.ui.IWorkbenchPreferencePage;
/**
* This class is the MoDisco browser root preference page that is contributed to
* the Preferences dialog. By sub-classing {@link FieldEditorPreferencePage}, we
* can use the field support built into JFace that allows us to create a page
* that is small and knows how to save, restore and apply itself.
* <p>
* This page is used to modify preferences, that are stored in the preference
* store that belongs to the main plug-in class. That way, preferences can be
* accessed directly via the preference store.
*/
public class BrowserPreferencePage extends FieldEditorPreferencePage implements
IWorkbenchPreferencePage {
public BrowserPreferencePage() {
super(FieldEditorPreferencePage.GRID);
setPreferenceStore(MoDiscoBrowserPlugin.getPlugin().getPreferenceStore());
// setDescription("MoDisco preferences");
}
/**
* Creates the field editors. Field editors are abstractions of the common
* GUI blocks needed to manipulate various types of preferences. Each field
* editor knows how to save and restore itself.
*/
@Override
public void createFieldEditors() {
IntegerFieldEditor loadingDepthField = new IntegerFieldEditor(
PreferenceConstants.P_BROWSER_LOADING_DEPTH,
Messages.BrowserPreferencePage_defaultLoadingDepth, getFieldEditorParent());
final int maxValue = 99;
loadingDepthField.setValidRange(-1, maxValue);
addField(loadingDepthField);
addField(new BooleanFieldEditor(PreferenceConstants.P_BROWSER_ASK_LOADING_DEPTH,
Messages.BrowserPreferencePage_askLoadingDepthEachTime, getFieldEditorParent()));
addField(new BooleanFieldEditor(
PreferenceConstants.P_BROWSER_OVERRIDE_METAMODEL_SPECIFIC_SETTINGS,
Messages.BrowserPreferencePage_overridesMetamodelSpecificSettings, getFieldEditorParent()));
}
/*
* (non-Javadoc)
*
* @see
* org.eclipse.ui.IWorkbenchPreferencePage#init(org.eclipse.ui.IWorkbench)
*/
public void init(final IWorkbench workbench) {
// Nothing to do
}
}