nl.cwi.sen1.tide
Interface PreferenceListener

All Known Implementing Classes:

FontPreferenceEditor, PreferencesEditor, SourceFileViewer

public interface PreferenceListener

Method Summary

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

Method Detail

preferencesChanged

void preferencesChanged(PreferenceSet set)

preferenceChanged

void preferenceChanged(PreferenceSet set,
                       java.lang.String name,
                       java.lang.String oldValue,
                       java.lang.String newValue)

preferencesStatusChanged

void preferencesStatusChanged(PreferenceSet set,
                              boolean clean)