it.uniroma3.plasm.preferences
Class PreferencePage

java.lang.Object
  extended byorg.eclipse.jface.dialogs.DialogPage
      extended byorg.eclipse.jface.preference.PreferencePage
          extended byorg.eclipse.jface.preference.FieldEditorPreferencePage
              extended byit.uniroma3.plasm.preferences.PreferencePage
All Implemented Interfaces:
java.util.EventListener, org.eclipse.jface.dialogs.IDialogPage, org.eclipse.jface.dialogs.IMessageProvider, org.eclipse.jface.preference.IPreferencePage, org.eclipse.jface.util.IPropertyChangeListener, org.eclipse.ui.IWorkbenchPreferencePage

public class PreferencePage
extends org.eclipse.jface.preference.FieldEditorPreferencePage
implements org.eclipse.ui.IWorkbenchPreferencePage

This class represents a preference page that is contributed to the Preferences dialog. By subclassing 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. Cool!.

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. (in a Singleton manner)

Version:
$Id: PreferencePage.java,v 1.5 2004/06/22 17:11:44 giupo Exp $
Author:
giupo

Field Summary
static java.lang.String P_BOOLEAN
           
static java.lang.String P_CHOICE
           
static java.lang.String P_STRING
           
static java.lang.String PLASMFILE_PATH
           
static java.lang.String VRMLFILE_PATH
           
 
Fields inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage
FLAT, GRID
 
Fields inherited from interface org.eclipse.jface.dialogs.IMessageProvider
ERROR, INFORMATION, NONE, WARNING
 
Constructor Summary
PreferencePage()
           
 
Method Summary
 void createFieldEditors()
          Creates the field editors.
 void init(org.eclipse.ui.IWorkbench workbench)
           
 void performApply()
           
 boolean performOk()
          Method overridden to apply the change of the properties
 
Methods inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage
dispose, propertyChange, setVisible
 
Methods inherited from class org.eclipse.jface.preference.PreferencePage
computeSize, createControl, getContainer, getPreferenceStore, isValid, okToLeave, performCancel, performHelp, setContainer, setErrorMessage, setMessage, setPreferenceStore, setSize, setTitle, setValid, toString
 
Methods inherited from class org.eclipse.jface.dialogs.DialogPage
getControl, getDescription, getErrorMessage, getImage, getMessage, getMessageType, getShell, getTitle, setDescription, setImageDescriptor, setMessage
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface org.eclipse.jface.preference.IPreferencePage
computeSize, isValid, okToLeave, performCancel, setContainer, setSize
 
Methods inherited from interface org.eclipse.jface.dialogs.IDialogPage
createControl, dispose, getControl, getDescription, getErrorMessage, getImage, getMessage, getTitle, performHelp, setDescription, setImageDescriptor, setTitle, setVisible
 

Field Detail

PLASMFILE_PATH

public static final java.lang.String PLASMFILE_PATH
See Also:
Constant Field Values

VRMLFILE_PATH

public static final java.lang.String VRMLFILE_PATH
See Also:
Constant Field Values

P_BOOLEAN

public static final java.lang.String P_BOOLEAN
See Also:
Constant Field Values

P_CHOICE

public static final java.lang.String P_CHOICE
See Also:
Constant Field Values

P_STRING

public static final java.lang.String P_STRING
See Also:
Constant Field Values
Constructor Detail

PreferencePage

public PreferencePage()
Method Detail

createFieldEditors

public void createFieldEditors()
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.


init

public void init(org.eclipse.ui.IWorkbench workbench)
Specified by:
init in interface org.eclipse.ui.IWorkbenchPreferencePage

performOk

public boolean performOk()
Method overridden to apply the change of the properties

Specified by:
performOk in interface org.eclipse.jface.preference.IPreferencePage

performApply

public void performApply()