162216231624162516261627162816291630
} /** Launch the options dialog */ public void launchOptionsDialog() { getUIFacade().setStatusText(language.getText("settingsPreferences")); SettingsDialog dialogOptions = new SettingsDialog(this); dialogOptions.show(); area.repaint(); }