mirror of
https://github.com/arduino/Arduino.git
synced 2024-12-01 12:24:14 +01:00
Recent sketches list updated even when a new sketch is saved. Fixes #3285
This commit is contained in:
parent
bede6967d5
commit
e33bd78a1d
@ -2455,6 +2455,8 @@ public class Editor extends JFrame implements RunnerListener {
|
|||||||
statusNotice(_("Saving..."));
|
statusNotice(_("Saving..."));
|
||||||
try {
|
try {
|
||||||
if (sketch.saveAs()) {
|
if (sketch.saveAs()) {
|
||||||
|
base.storeRecentSketches(sketch);
|
||||||
|
base.rebuildRecentSketchesMenuItems();
|
||||||
statusNotice(_("Done Saving."));
|
statusNotice(_("Done Saving."));
|
||||||
// Disabling this for 0125, instead rebuild the menu inside
|
// Disabling this for 0125, instead rebuild the menu inside
|
||||||
// the Save As method of the Sketch object, since that's the
|
// the Save As method of the Sketch object, since that's the
|
||||||
|
Loading…
Reference in New Issue
Block a user