Esempio n. 1
0
 /**
  * Loads a content from a file.
  *
  * @param file File path to load.
  * @throws java.io.FileNotFoundException thrown if file could not be found.
  * @throws java.io.IOException thrown if file could no be read.
  */
 public void openFile(File file) throws FileNotFoundException, IOException {
   mFilePath = file;
   setText(FileUtils.readFileToString(file));
   setMode(Modes.getModeFromFile(file.getName()));
   // getUndoManager().reset();
   undoButton.setDisable(true);
   redoButton.setDisable(true);
 }
Esempio n. 2
0
 /**
  * Change or set new save location and saves the file.
  *
  * @param file new location to save.
  * @throws java.io.IOException thrown if file could no be read.
  */
 public void saveAs(File file) throws IOException, NullPointerException {
   mFilePath = file;
   saveFile();
   setMode(Modes.getModeFromFile(file.getName()));
 }