public void propertyChange(PropertyChangeEvent event) {
   if (pref.isSource(event)) {
     selectOption(pref.get());
   }
 }