137138139140141142143
/** * Aktion beim Klick auf den Hilfe-Button. */ private void helpButtonClicked() { // bj add new HelpWindow().show(); }