From 1c7c5304547c8311ebd6e10d2164bd217d1a00d4 Mon Sep 17 00:00:00 2001
From: Shigeru KANEMOTO <sgk@switch-science.com>
Date: Fri, 18 Jan 2013 15:47:06 +0900
Subject: [PATCH] Scroll the editor tab menu.

When the sketch folder contains a lot of source files, the editor
tab menu should scroll. Without this, we don't have a way to select
some files hidden under bottom edge of the screen.
---
 app/src/processing/app/EditorHeader.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/app/src/processing/app/EditorHeader.java b/app/src/processing/app/EditorHeader.java
index a331dc4c0..eef679f2a 100644
--- a/app/src/processing/app/EditorHeader.java
+++ b/app/src/processing/app/EditorHeader.java
@@ -22,6 +22,7 @@
 */
 
 package processing.app;
+import processing.app.tools.MenuScroller;
 import static processing.app.I18n._;
 
 import java.awt.*;
@@ -238,6 +239,7 @@ public class EditorHeader extends JComponent {
 
     } else {
       menu = new JMenu();
+      MenuScroller.setScrollerFor(menu);
       popup = menu.getPopupMenu();
       add(popup);
       popup.setLightWeightPopupEnabled(true);