private boolean checkForSave() {
// build warning message
String message;
if (file == null) {
message = "File has been modified. Save changes?";
} else {
message = "File \"" + file.getName() + "\" has been modified. Save changes?";
}
// show confirm dialog
int r =
JOptionPane.showConfirmDialog(
this,
new JLabel(message),
"Warning!",
JOptionPane.YES_NO_CANCEL_OPTION,
JOptionPane.WARNING_MESSAGE);
if (r == JOptionPane.YES_OPTION) {
// Save File
if (fileChooser.showSaveDialog(this) == JFileChooser.APPROVE_OPTION) {
// write the file
physWriteTextFile(fileChooser.getSelectedFile(), textView.getText());
} else {
// user cancelled save after all
return false;
}
}
return r != JOptionPane.CANCEL_OPTION;
}
private String physReadTextFile(File file) {
// physically read text file
try {
BufferedReader input = new BufferedReader(new InputStreamReader(new FileInputStream(file)));
StringBuffer tmp = new StringBuffer();
while (input.ready()) {
tmp.append(input.readLine());
tmp.append("\n");
}
return tmp.toString();
} catch (FileNotFoundException e) {
// not sure how this can happen
showErrorDialog("Unable to load \"" + file.getName() + "\" (file not found)");
} catch (IOException e) {
// This happens if e.g. file already exists and
// we do not have write permissions
showErrorDialog("Unable to load \"" + file.getName() + "\" (I/O error)");
}
return new String("");
}
public void saveFile() {
if (file == null) {
// first save file, so prompt for name.
saveFileAs();
} else {
// file already named so just write it.
physWriteTextFile(file, textView.getText());
// update status
statusView.setText(" Saved file \"" + file.getName() + "\".");
// reset dirty bit
dirty = false;
}
}
public void saveFileAs() {
// Force user to enter new file name
if (fileChooser.showSaveDialog(this) == JFileChooser.APPROVE_OPTION) {
file = fileChooser.getSelectedFile();
} else {
// user cancelled save after all
return;
}
// file selected, so write it.
physWriteTextFile(file, textView.getText());
// update status
statusView.setText(" Saved file \"" + file.getName() + "\".");
// reset dirty bit
dirty = false;
}
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;
}
}