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