1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-06-26 17:42:18 +03:00

Allowing (and fixing) uploading of unsaved sketches.

This commit is contained in:
David A. Mellis
2009-06-16 19:49:28 +00:00
parent 3b09a2ad1d
commit 672ad5648e
3 changed files with 7 additions and 1 deletions

View File

@ -2146,7 +2146,7 @@ public class Editor extends JFrame implements RunnerListener {
* hitting export twice, quickly, and horking things up.
*/
synchronized public void handleExport() {
if (!handleExportCheckModified()) return;
//if (!handleExportCheckModified()) return;
toolbar.activate(EditorToolbar.EXPORT);
console.clear();

View File

@ -1392,8 +1392,11 @@ public class Sketch {
// Make sure the user didn't hide the sketch folder
ensureExistence();
current.setProgram(editor.getText());
// Reload the code when an external editor is being used
if (Preferences.getBoolean("editor.external")) {
current = null;
// nuke previous files and settings
load();
}