it.uniroma3.plasm.preferences
Class PreferencePage
java.lang.Object
  
org.eclipse.jface.dialogs.DialogPage
      
org.eclipse.jface.preference.PreferencePage
          
org.eclipse.jface.preference.FieldEditorPreferencePage
              
it.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
 
 
| Fields inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage | 
FLAT, GRID | 
 
| Fields inherited from interface org.eclipse.jface.dialogs.IMessageProvider | 
ERROR, INFORMATION, NONE, WARNING | 
 
 
 
| 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 | 
 
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
 
PreferencePage
public PreferencePage()
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()