public void propertyChange( PropertyChangeEvent evt )
  {
    if ( evt.getSource() == topPanel )
    {
      int hash = evt.getPropertyName().hashCode() ;
      if ( hash == "reload".hashCode() )
      {
        loadOptions() ;
      }
      else if ( hash == "save".hashCode() )
      {
        saveOptions( true ) ; // save all settings from dialog
      }
      else if ( hash == "reset".hashCode() )
      {
        TGlobal.config.reset() ;
        loadOptions() ;
      }
    }
  }