Uses of Interface
nl.cwi.sen1.tide.PreferenceListener

Packages that use PreferenceListener

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

Uses of PreferenceListener in nl.cwi.sen1.tide

Fields in nl.cwi.sen1.tide with type parameters of type PreferenceListener

private java.util.List<PreferenceListener>

PreferenceSet.listeners

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

void	PreferenceSet.addPreferenceListener(PreferenceListener listener)
void	PreferenceSet.removePreferenceListener(PreferenceListener listener)

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

Classes in nl.cwi.sen1.tide.tool.prefeditor that implement PreferenceListener

class	FontPreferenceEditor
class	PreferencesEditor

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

Classes in nl.cwi.sen1.tide.tool.srcviewer that implement PreferenceListener

(package private) class

SourceFileViewer