|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface OptionsHandler
An pref handler looks after any available pref for a GUI application. This means providing access
to a gui to allow users to update pref. These must then be stored somehow. This could either be through
the new Java 1.4 Preferences API, or some custom method.
Date: 15-Jul-2002
Field Summary | |
---|---|
static java.lang.String |
NAME
|
Method Summary | |
---|---|
javax.swing.JPanel |
getPreferencePanel()
Gets all the panels this gui needs to set its preferences |
java.util.prefs.Preferences |
getPreferences()
This class manages a viewers preferences so this preference object should be used to write preferences |
PreferenceObject |
readOptions()
|
void |
saveOptions()
Save the pref for this manager |
Field Detail |
---|
static final java.lang.String NAME
Method Detail |
---|
javax.swing.JPanel getPreferencePanel()
java.util.prefs.Preferences getPreferences()
void saveOptions()
PreferenceObject readOptions()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |