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 }