/******************************************************************************* * Copyright (c) 2004 Vlad Dumitrescu 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: * Vlad Dumitrescu *******************************************************************************/ package org.erlide.ui.prefs.plugin; // import org.eclipse.jface.preference.PathEditor; import org.eclipse.jface.preference.FieldEditorPreferencePage; import org.eclipse.ui.IWorkbench; import org.eclipse.ui.IWorkbenchPreferencePage; /** * The system preferences * * * @author Eric Merritt [cyberlync at gmail dot com] */ public class BuilderPreferencePage extends FieldEditorPreferencePage implements IWorkbenchPreferencePage { // private PathEditor pathA; // private PathEditor pathZ; // private BooleanFieldEditor longName; // private StringFieldEditor extra; /** * Initialize the system preferences * */ public BuilderPreferencePage() { super(FieldEditorPreferencePage.GRID); } /** * @see org.eclipse.jface.preference.FieldEditorPreferencePage#createFieldEditors() */ @Override protected void createFieldEditors() { // pathZ = new PathEditor(PreferenceConstants.ERTS_PATH_Z, // ErlideBasicUIPlugin // .getResourceString("prefs.system.pathz"), // "Add a library directory to code:pathz()", // getFieldEditorParent()); // addField(pathZ); // extra = new StringFieldEditor(PreferenceConstants.ERTS_EXTRA_ARGS, // ErlideBasicUIPlugin.getResourceString("prefs.system.extra"), // getFieldEditorParent()); // addField(extra); } /** * @see org.eclipse.ui.IWorkbenchPreferencePage#init(org.eclipse.ui.IWorkbench) */ @Override public void init(final IWorkbench workbench) { } @Override protected void performDefaults() { super.performDefaults(); } @Override public boolean performOk() { return super.performOk(); } @Override protected void initialize() { super.initialize(); // ErtsPreferences prefs = ErlideBasicUIPlugin.getDefault() // .getPreferences(); // home.setStringValue(prefs.getOtpHome()); // pathA.setStringValue(prefs.getPathA()); // pathZ.setStringValue(prefs.getPathZ()); // longName.g(prefs.getErtsPrefs().getExtraErtsArgs()); // setStringValue shouldn't be used // extra.setStringValue(prefs.getExtraErtsArgs()); } }