edu.toronto.cs.util
Interface XPreferences
public interface XPreferences
getGroupName
java.lang.String getGroupName()
- Returns:
- the name of this group of preferences
It is assumed that
toString
returns exactly the
same thing as getGroupname
getHelp
java.lang.String getHelp()
- Returns:
- a help message for the group
getPreferenceEditor
java.awt.Component getPreferenceEditor()
- Returns:
- a visual editor for setting the preferences
updateComponents
void updateComponents()
- update preference editor with data from backing store
savePrefSettings
void savePrefSettings()
- write settings to the backing store