mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-31 20:52:13 +01:00
Fixed the bug that doesn't updates the title when an example sketch is saved
This commit is contained in:
parent
3a3bc5be84
commit
9d904dad31
@ -1970,7 +1970,7 @@ public class Editor extends JFrame implements RunnerListener {
|
|||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
|
|
||||||
private void updateTitle() {
|
public void updateTitle() {
|
||||||
if (sketchController == null) {
|
if (sketchController == null) {
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
@ -438,7 +438,7 @@ public class SketchController {
|
|||||||
//editor.sketchbook.rebuildMenusAsync();
|
//editor.sketchbook.rebuildMenusAsync();
|
||||||
editor.base.rebuildSketchbookMenus();
|
editor.base.rebuildSketchbookMenus();
|
||||||
editor.header.rebuild();
|
editor.header.rebuild();
|
||||||
|
editor.updateTitle();
|
||||||
// Make sure that it's not an untitled sketch
|
// Make sure that it's not an untitled sketch
|
||||||
setUntitled(false);
|
setUntitled(false);
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user