Rebuild tab menu on tab delete

Fixes #3534
2026-06-16 04:26:26 +02:00 · 2015-08-06 10:46:35 -04:00
parent a11b4b2029
commit 418e9f37b1
1 changed files with 1 additions and 1 deletions
@@ -678,7 +678,7 @@ public class Sketch {
        setCurrentCode(0);

        // update the tabs
-        editor.repaintHeader();
+        editor.rebuildHeader();
      }
    }
  }