Rebuild tab menu on tab delete

JakubValtar · JakubValtar · commit 2f3b33a3dad6 · 2015-08-06T10:46:35.000-04:00
Fixes #3534
diff --git a/app/src/processing/app/Sketch.java b/app/src/processing/app/Sketch.java
@@ -678,7 +678,7 @@ public void handleDeleteCode() {
         setCurrentCode(0);
 
         // update the tabs
-        editor.repaintHeader();
+        editor.rebuildHeader();
       }
     }
   }

Original file line number	Diff line number	Diff line change
`@@ -678,7 +678,7 @@ public void handleDeleteCode() {`
`678`	`678`	`setCurrentCode(0);`
`679`	`679`
`680`	`680`	`// update the tabs`
`681`		`- editor.repaintHeader();`
	`681`	`+ editor.rebuildHeader();`
`682`	`682`	`}`
`683`	`683`	`}`
`684`	`684`	`}`