mirror of
https://github.com/arduino/Arduino.git
synced 2024-12-01 12:24:14 +01:00
parent
4c3d96235f
commit
646c9f798f
@ -2090,6 +2090,9 @@ public class Editor extends JFrame implements RunnerListener {
|
|||||||
} finally {
|
} finally {
|
||||||
// make sure the toolbar button deactivates
|
// make sure the toolbar button deactivates
|
||||||
toolbar.deactivateSave();
|
toolbar.deactivateSave();
|
||||||
|
|
||||||
|
// Update editor window title in case of "Save as..."
|
||||||
|
updateTitle();
|
||||||
}
|
}
|
||||||
|
|
||||||
return true;
|
return true;
|
||||||
|
Loading…
Reference in New Issue
Block a user