10351036103710381039104010411042104310441045
textEditor.beautify(); } public void filePreferences_actionPerformed(ActionEvent e) { PreferencesDialog prefs = new PreferencesDialog(this); prefs.show(); } public void helpContents_actionPerformed(ActionEvent e) { }