public void newFile() {
if (!dirty || checkForSave()) {
textView.setText("");
consoleView.setText("");
problemsView.setText("");
statusView.setText(" Created new file.");
file = null;
// reset dirty bit
dirty = false;
}
}
public void prettyPrint() {
try {
// clear old problem messages
problemsView.setText("");
// update status view
statusView.setText(" Parsing ...");
LispExpr root = Parser.parse(textView.getText());
statusView.setText(" Pretty Printing ...");
String newText = PrettyPrinter.prettyPrint(root);
textView.setText(newText);
statusView.setText(" Done.");
} catch (Error e) {
System.err.println(e.getMessage());
statusView.setText(" Errors.");
}
}
public void openFile() {
if (!dirty || checkForSave()) {
if (fileChooser.showOpenDialog(this) == JFileChooser.APPROVE_OPTION) {
file = fileChooser.getSelectedFile();
} else {
// user cancelled open after all
return;
}
// load file into text view
textView.setText(physReadTextFile(file));
// update status
statusView.setText(" Loaded file \"" + file.getName() + "\".");
// reset dirty bit
dirty = false;
}
}