edu.toronto.cs.util
Interface XPreferences


public interface XPreferences


Method Summary
 java.lang.String getGroupName()
           
 java.lang.String getHelp()
           
 java.awt.Component getPreferenceEditor()
           
 void savePrefSettings()
          write settings to the backing store
 void updateComponents()
          update preference editor with data from backing store
 

Method Detail

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