From 092ccc2814ae3dbe54c19c5f5c3d2ee2a5f04b29 Mon Sep 17 00:00:00 2001
From: Ben Fry <ben@fathom.info>
Date: Sun, 17 May 2015 22:04:57 -0400
Subject: [PATCH] repainting works properly

---
 app/src/processing/app/Editor.java        | 1 +
 app/src/processing/app/EditorToolbar.java | 2 --
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java
index e959f75e1..4625917e2 100644
--- a/app/src/processing/app/Editor.java
+++ b/app/src/processing/app/Editor.java
@@ -598,6 +598,7 @@ public abstract class Editor extends JFrame implements RunnerListener {
 
   public void rebuildToolbar() {
     toolbar.rebuild();
+    toolbar.revalidate();  // necessary to handle sub-components
   }
 
 
diff --git a/app/src/processing/app/EditorToolbar.java b/app/src/processing/app/EditorToolbar.java
index 528475b71..8443c6e92 100644
--- a/app/src/processing/app/EditorToolbar.java
+++ b/app/src/processing/app/EditorToolbar.java
@@ -132,8 +132,6 @@ abstract public class EditorToolbar extends JPanel {
 
 
   public void paintComponent(Graphics g) {
-//    label.setText(editor.getSketch().getName());
-//    super.paintComponent(g);
     Dimension size = getSize();
     g.drawImage(gradient, 0, 0, size.width, size.height, this);
   }