001    package nl.cwi.sen1.tide;
002    
003    public interface PreferenceListener
004    {
005      public void preferencesChanged(PreferenceSet set);
006      public void preferenceChanged(PreferenceSet set, String name,
007                                    String oldValue, String newValue);
008      public void preferencesStatusChanged(PreferenceSet set, boolean clean);
009    }