Merge pull request #3542 from JakubValtar/bugfix-delete-tab

Rebuild tab menu on tab delete
This commit is contained in:
Jakub Valtar
2015-08-06 10:58:57 -04:00

View File

@@ -678,7 +678,7 @@ public class Sketch {
setCurrentCode(0);
// update the tabs
editor.repaintHeader();
editor.rebuildHeader();
}
}
}