From f9e1dbd484ccb7790611986156eb3e63f979e208 Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Thu, 10 Dec 2015 10:51:07 +0100
Subject: [PATCH] Remove unused method

---
 app/src/processing/app/EditorHeader.java | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/app/src/processing/app/EditorHeader.java b/app/src/processing/app/EditorHeader.java
index a1e100aea..56e6ae2ce 100644
--- a/app/src/processing/app/EditorHeader.java
+++ b/app/src/processing/app/EditorHeader.java
@@ -376,11 +376,6 @@ public class EditorHeader extends JComponent {
   }
 
 
-  public void deselectMenu() {
-    repaint();
-  }
-
-
   public Dimension getPreferredSize() {
     return getMinimumSize();
   }