From d535f878f6b13268e3fbb7cebfce2964c77e0331 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Thu, 17 Oct 2013 17:16:16 +0200
Subject: [PATCH] Boards now scrollable. Closes #1440

---
 app/src/processing/app/Editor.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java
index 7d8585e9c..39fd4f687 100644
--- a/app/src/processing/app/Editor.java
+++ b/app/src/processing/app/Editor.java
@@ -701,6 +701,7 @@ public class Editor extends JFrame implements RunnerListener {
       boardsMenus = new LinkedList<JMenu>();
 
       JMenu boardsMenu = new JMenu(_("Board"));
+      MenuScroller.setScrollerFor(boardsMenu);
       Editor.boardsMenus.add(boardsMenu);
       toolsMenu.add(boardsMenu);