private void handleClose(String result) {
// get the text handler
Editor editor=(Editor)getJPE().getEditor();
if (editor!=null) {
// get the selected file from the text handler
OpenFile file=editor.getEditFile();
if (file!=null) {
if (result.equals("y")) file.saveFile();
file.clearDirty();
closeFile();
}
}
}
/**
* save selected file to disk
*/
private void saveFile() {
// get the text handler
Editor editor=(Editor)getJPE().getEditor();
if (editor!=null) {
// get the selected file from the text handler
OpenFile file=editor.getEditFile();
if (file!=null) {
// signal the use we are saving and save it to disk
getJPE().say("Saving file "+file.getName());
file.saveFile();
getJPE().say("Saved file "+file.getName());
}
}
}
/**
* close the selected file, meaning removing it from the Opened
* list and removing it from the auto reload on startup list
*/
private void closeFile() {
OpenFileHandler ofh=(OpenFileHandler)getJPE().getHandler("Opened");
Editor editor=(Editor)getJPE().getEditor();
if (editor!=null) {
OpenFile file=editor.getEditFile();
if (!file.isDirty()) {
ofh.removeFile(file);
addRecent(file.getName());
ofh.switchOpenFile();
} else {
getJPE().setAskMode(this,"close","File not saved, save first (y/n) ? ",true);
}
}
}
public void handleRevert(String answer) {
if("y".equals(answer)) {
Editor editor=(Editor)getJPE().getEditor();
if (editor!=null) {
// get the selected file from the text handler
OpenFile file=editor.getEditFile();
if (file!=null) {
// revert the file
file.loadFile();
// tell editor to useFile, without saving
editor.useFile(file,false);
}
}
}
}
private void lockFile() {
OpenFileHandler ofh=(OpenFileHandler)getJPE().getHandler("Opened");
Editor editor=(Editor)getJPE().getEditor();
if (editor!=null) {
OpenFile file=editor.getEditFile();
if (file.isLocked()) {
file.clearLocked();
getJPE().setLockState(false);
getJPE().say("file is now unlocked ( read / write )");
} else {
file.setLocked();
getJPE().setLockState(true);
getJPE().say("file is now locked (read only)");
}
ofh.updateProperties();
}
}
/**
* ask the user for a filename (using a file requester) and save
* the current file under that name
*/
private void saveAsFile() {
// get openfile handlers
OpenFileHandler ofh=(OpenFileHandler)getJPE().getHandler("Opened");
if (ofh!=null) {
// ask the user for the file name
String filename=getFileName(FileDialog.SAVE);
// get the text handler
Editor editor=(Editor)getJPE().getEditor();
// get the selected file
OpenFile file=editor.getEditFile();
// remove the file from the opened list
ofh.removeFile(file);
if (file!=null) {
// set the new name in the file
file.setName(filename);
getJPE().say("Saving file "+file.getName());
// save the file under this new name
file.saveFile();
// add the file to the opened files again (now new name)
ofh.addFile(file);
getJPE().say("Saved file "+file.getName());
}
}
}