public interface IPreference extends ExtensionBuilder
AbstractPreferencePage
Modifier and Type | Field and Description |
---|---|
static String |
ACCESS_PREFERENCES_PAGE_AUTHORIZATION |
Modifier and Type | Method and Description |
---|---|
ImageIcon |
getIcon()
Returns the image that will be shown in the header of this preferences page
|
String |
getID()
Returns an identifier for this preferences page that is used to reference
it inside the Map.
|
JPanel |
getPanel()
The page must be contained in a JPanel and whatever to be shown will be returned
by this function.
|
String |
getParentID()
Returns the ID of the parent of this layer.
|
String |
getTitle()
Returns an string containing the title of the preferences page.
|
void |
initializeDefaults()
Restores the default values of this preferences page's settings.
|
void |
initializeValues()
Initializes the components of this preferences page to the last settings.
|
boolean |
isValueChanged()
Tells if this preference page has changed any value
(used for storing values when necessary)
|
void |
saveValues()
Saves the new settings
|
create, create, create
static final String ACCESS_PREFERENCES_PAGE_AUTHORIZATION
String getID()
this.getClass().getName();
String getTitle()
JPanel getPanel()
The content is added, removed and repainted automatically upon the events received from
the mouse. So, you only have to care about the content and the functionality to make it
String getParentID()
void initializeValues()
void saveValues() throws StoreException
StoreException
void initializeDefaults()
ImageIcon getIcon()
boolean isValueChanged()