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