rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-04-05 21:40:24 +02:00
Code Issues Releases Activity

Handle unsaved tab deletion correctly

Browse Source
This commit is contained in:
Martino Facchin 2018-02-16 09:30:40 +01:00
parent f8540b3a59
commit 950d88dcbe
1 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
app/src/processing/app/SketchController.java
View File

@ -253,13 +253,21 @@ public class SketchController {
sketch.delete(); sketch.delete();
editor.base.handleClose(editor); editor.base.handleClose(editor);
} else { } else {
boolean neverSavedTab = !current.fileExists();
// delete the file // delete the file
if (!current.delete(sketch.getBuildPath().toPath())) { if (!current.delete(sketch.getBuildPath().toPath()) && !neverSavedTab) {
Base.showMessage(tr("Couldn't do it"), Base.showMessage(tr("Couldn't do it"),
I18n.format(tr("Could not delete \"{0}\"."), current.getFileName())); I18n.format(tr("Could not delete \"{0}\"."), current.getFileName()));
return; return;
} }
if (neverSavedTab) {
// remove the file from the sketch list
sketch.removeFile(current);
}
editor.removeTab(current); editor.removeTab(current);
// just set current tab to the main tab // just set current tab to the main tab