edu.buffalo.cse.green.preferences.GreenPreferencePageClassBox.java Source code

Java tutorial

Introduction

Here is the source code for edu.buffalo.cse.green.preferences.GreenPreferencePageClassBox.java

Source

/* This file is part of Green.
 *
 * Copyright (C) 2005 The Research Foundation of State University of New York
 * All Rights Under Copyright Reserved, The Research Foundation of S.U.N.Y.
 * 
 * Green is free software, licensed under the terms of the Eclipse
 * Public License, version 1.0.  The license is available at
 * http://www.eclipse.org/legal/epl-v10.html
 */

package edu.buffalo.cse.green.preferences;

import static edu.buffalo.cse.green.preferences.PreferenceInitializer.P_DISPLAY_ELEMENT_TOOLTIPS;
import static edu.buffalo.cse.green.preferences.PreferenceInitializer.P_DISPLAY_FQN_TYPE_NAMES;
import static edu.buffalo.cse.green.preferences.PreferenceInitializer.P_DISPLAY_METHOD_PARAMETERS;
import static edu.buffalo.cse.green.preferences.PreferenceInitializer.P_FIXED_HEIGHT;
import static edu.buffalo.cse.green.preferences.PreferenceInitializer.P_FIXED_WIDTH;

import org.eclipse.jface.preference.BooleanFieldEditor;
import org.eclipse.jface.preference.FieldEditorPreferencePage;
import org.eclipse.jface.preference.StringFieldEditor;
import org.eclipse.ui.IWorkbench;
import org.eclipse.ui.IWorkbenchPreferencePage;

import edu.buffalo.cse.green.PlugIn;
import edu.buffalo.cse.green.editor.DiagramEditor;

/**
 * The preferences page for class box settings.
 * 
 * @author bcmartin
 */
public class GreenPreferencePageClassBox extends FieldEditorPreferencePage implements IWorkbenchPreferencePage {
    public GreenPreferencePageClassBox() {
        super(GRID);
        setPreferenceStore(PlugIn.getDefault().getPreferenceStore());
    }

    /**
     * @see org.eclipse.jface.preference.FieldEditorPreferencePage#createFieldEditors()
     */
    public void createFieldEditors() {
        addField(new StringFieldEditor(P_FIXED_HEIGHT, "Fixed height", 5, getFieldEditorParent()));
        addField(new StringFieldEditor(P_FIXED_WIDTH, "Fixed width", 5, getFieldEditorParent()));
        addField(new BooleanFieldEditor(P_DISPLAY_FQN_TYPE_NAMES, "Show fully-qualified type names", 0,
                getFieldEditorParent()));
        addField(new BooleanFieldEditor(P_DISPLAY_METHOD_PARAMETERS, "Show method parameter names", 0,
                getFieldEditorParent()));
        addField(new BooleanFieldEditor(P_DISPLAY_ELEMENT_TOOLTIPS, "Show tooltips while hovering over elements", 0,
                getFieldEditorParent()));

        adjustGridLayout();
    }

    /**
     * @see org.eclipse.ui.IWorkbenchPreferencePage#init(org.eclipse.ui.IWorkbench)
     */
    public void init(IWorkbench workbench) {
    }

    /**
     * @see org.eclipse.jface.preference.IPreferencePage#performOk()
     */
    public boolean performOk() {
        boolean ok = super.performOk();

        for (DiagramEditor editor : DiagramEditor.getEditors()) {
            editor.refresh();
        }

        return ok;
    }
}