@Override public void historyChanged(HistoryChangedEvent evt){
  loadHistory(false);
  m_History.setProperty(evt.getHistoryName(),modelToString(evt.getHistory()));
  saveHistory();
}

@ Override public void historyChanged ( HistoryChangedEvent evt ) { loadHistory ( false ) ; m_History . setProperty ( evt . getHistoryName ( ) , modelToString ( evt . getHistory ( ) ) ) ; saveHistory ( ) ; }
this method gets called when a history is modified . it saves the history immediately to the users home directory .
