public void removeListener(TerminalSettingsListener listener) {
   myListeners.remove(listener);
 }
 public void addListener(TerminalSettingsListener listener) {
   myListeners.add(listener);
 }