fixing some rename bugs

2026-06-16 04:26:26 +02:00 · 2005-05-10 01:25:04 +00:00
parent 8b767baa3b
commit 58076498f3
3 changed files with 8 additions and 1 deletions
@@ -521,7 +521,9 @@ public class Sketch {
    setCurrent(newName);

    // update the tabs
-    editor.header.repaint();
+    //editor.header.repaint();
+    editor.header.rebuild();
+
    // force the update on the mac?
    Toolkit.getDefaultToolkit().sync();
    //editor.header.getToolkit().sync();
@@ -656,6 +658,7 @@ public class Sketch {
    // update the tabs
    setCurrent(0);
    editor.header.repaint();
+    //editor.header.rebuild();
  }