From 418e9f37b1429e07ce42ec412f0a776e3f685e1b Mon Sep 17 00:00:00 2001
From: Jakub Valtar <jakub.valtar@gmail.com>
Date: Thu, 6 Aug 2015 10:46:35 -0400
Subject: [PATCH] Rebuild tab menu on tab delete

Fixes #3534
---
 app/src/processing/app/Sketch.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/src/processing/app/Sketch.java b/app/src/processing/app/Sketch.java
index 9b57164ed..febe2cd82 100644
--- a/app/src/processing/app/Sketch.java
+++ b/app/src/processing/app/Sketch.java
@@ -678,7 +678,7 @@ public class Sketch {
         setCurrentCode(0);
 
         // update the tabs
-        editor.repaintHeader();
+        editor.rebuildHeader();
       }
     }
   }