From 114d0b9989c7fc2cf1f321f752c28009304f6b19 Mon Sep 17 00:00:00 2001
From: Ben Fry <ben@fathom.info>
Date: Mon, 18 May 2015 23:31:12 -0400
Subject: [PATCH] remove s*t sandwich

---
 app/src/processing/app/EditorHeader.java | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/app/src/processing/app/EditorHeader.java b/app/src/processing/app/EditorHeader.java
index e74979428..68e474eaf 100644
--- a/app/src/processing/app/EditorHeader.java
+++ b/app/src/processing/app/EditorHeader.java
@@ -27,6 +27,7 @@ package processing.app;
 import java.awt.*;
 import java.awt.event.*;
 import java.awt.geom.GeneralPath;
+import java.util.Arrays;
 
 import javax.swing.*;
 
@@ -272,9 +273,6 @@ public class EditorHeader extends JComponent {
       tab.textWidth = (int)
         font.getStringBounds(tab.text, g2.getFontRenderContext()).getWidth();
     }
-/* TODO eliminated 279-302 because it doesn't really work to reduce the tab size (by much anyways)
- *      and makes it confusing to find the tab you want because the name is hidden
- *
     // make sure everything can fit
     if (!placeTabs(MARGIN_WIDTH, tabMax, null)) {
       //System.arraycopy(tabs, 0, visitOrder, 0, tabs.length);
@@ -298,7 +296,7 @@ public class EditorHeader extends JComponent {
           break;
         }
       }
-    }*/
+    }
 
     // now actually draw the tabs
     if(!placeTabs(MARGIN_WIDTH, tabMax - ARROW_TAB_WIDTH, g2)){