Rebuild header on "Save as"

Fixes #5550
2025-02-20 14:54:31 +01:00 · 2016-11-28 15:07:42 +01:00 · 2016-11-28 15:07:42 +01:00 · e39560ecfd
commit e39560ecfd
parent bb5fe24ae5
1 changed files with 1 additions and 0 deletions
--- a/app/src/processing/app/Editor.java
+++ b/app/src/processing/app/Editor.java
@ -2106,6 +2106,7 @@ public class Editor extends JFrame implements RunnerListener {

      // Update editor window title in case of "Save as..."
      updateTitle();
+      header.rebuild();
    }

    return true;