193194195196197198199200201202203
menuBar.add (editMenu); JMenu toolsMenu = new JMenu ("Tools"); toolsMenu.add (new SmartCheckBoxMenuItem (app.getEnableMessageLoggingAction ())); toolsMenu.add (logPanel.getClearLogAction ()); toolsMenu.addSeparator ();