Java tutorial
/* * Copyright 2011 - 2013 NTB University of Applied Sciences in Technology * Buchs, Switzerland, http://www.ntb.ch/inf * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. * You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. * */ package ch.ntb.inf.deep.eclipse.ui.preferences; import org.eclipse.jface.preference.*; import org.eclipse.ui.IWorkbenchPreferencePage; import org.eclipse.ui.IWorkbench; import ch.ntb.inf.deep.eclipse.DeepPlugin; /** * This class represents a preference page that * is contributed to the Preferences dialog. By * subclassing <samp>FieldEditorPreferencePage</samp>, 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 only. They * 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 DeepPreferencePage extends FieldEditorPreferencePage implements IWorkbenchPreferencePage { public DeepPreferencePage() { super(GRID); } /** * 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. */ public void createFieldEditors() { addField(new DirectoryFieldEditor(PreferenceConstants.DEFAULT_LIBRARY_PATH, "&Default library path:", getFieldEditorParent())); addField(new StringFieldEditor(PreferenceConstants.DEFAULT_BOARD, "&Default board:", getFieldEditorParent())); addField(new StringFieldEditor(PreferenceConstants.DEFAULT_OS, "&Default operating system:", getFieldEditorParent())); addField(new StringFieldEditor(PreferenceConstants.DEFAULT_PROGRAMMER, "&Default programmer:", getFieldEditorParent())); } /* (non-Javadoc) * @see org.eclipse.ui.IWorkbenchPreferencePage#init(org.eclipse.ui.IWorkbench) */ public void init(IWorkbench workbench) { setPreferenceStore(DeepPlugin.getDefault().getPreferenceStore()); setDescription("General setting for the deep plugin "); } }