Uses of Class
nl.cwi.sen1.tide.PreferenceSet

Packages that use PreferenceSet

nl.cwi.sen1.tide
nl.cwi.sen1.tide.tool
nl.cwi.sen1.tide.tool.prefeditor
nl.cwi.sen1.tide.tool.srcviewer

Uses of PreferenceSet in nl.cwi.sen1.tide

Methods in nl.cwi.sen1.tide with parameters of type PreferenceSet

void	PreferenceListener.preferenceChanged(PreferenceSet set, java.lang.String name, java.lang.String oldValue, java.lang.String newValue)
void	PreferenceListener.preferencesChanged(PreferenceSet set)
void	PreferenceListener.preferencesStatusChanged(PreferenceSet set, boolean clean)

Uses of PreferenceSet in nl.cwi.sen1.tide.tool

Fields in nl.cwi.sen1.tide.tool declared as PreferenceSet

private PreferenceSet

ToolManager.preferences

Methods in nl.cwi.sen1.tide.tool that return PreferenceSet

PreferenceSet

ToolManager.getPreferences()

Uses of PreferenceSet in nl.cwi.sen1.tide.tool.prefeditor

Fields in nl.cwi.sen1.tide.tool.prefeditor declared as PreferenceSet

private PreferenceSet	FontPanel.preferences
private PreferenceSet	FontPreferenceEditor.preferences
private PreferenceSet	PreferencesEditor.preferences

Methods in nl.cwi.sen1.tide.tool.prefeditor with parameters of type PreferenceSet

void	FontPreferenceEditor.preferenceChanged(PreferenceSet prefs, java.lang.String name, java.lang.String oldValue, java.lang.String newValue)
void	PreferencesEditor.preferenceChanged(PreferenceSet prefs, java.lang.String name, java.lang.String oldValue, java.lang.String newValue)
void	FontPreferenceEditor.preferencesChanged(PreferenceSet prefs)
void	PreferencesEditor.preferencesChanged(PreferenceSet prefs)
void	FontPreferenceEditor.preferencesStatusChanged(PreferenceSet set, boolean clean)
void	PreferencesEditor.preferencesStatusChanged(PreferenceSet set, boolean clean)

Constructors in nl.cwi.sen1.tide.tool.prefeditor with parameters of type PreferenceSet

FontPanel(FontPreferenceEditor editor, PreferenceSet prefs, java.lang.String key)

FontPreferenceEditor(PreferencesEditor editor, PreferenceSet preferences)

Uses of PreferenceSet in nl.cwi.sen1.tide.tool.srcviewer

Fields in nl.cwi.sen1.tide.tool.srcviewer declared as PreferenceSet

private PreferenceSet

SourceFileViewer.prefs

Methods in nl.cwi.sen1.tide.tool.srcviewer with parameters of type PreferenceSet

void	SourceFileViewer.preferenceChanged(PreferenceSet prefs, java.lang.String name, java.lang.String oldValue, java.lang.String newValue)
void	SourceFileViewer.preferencesChanged(PreferenceSet prefs)
void	SourceFileViewer.preferencesStatusChanged(PreferenceSet set, boolean clean)