Boards now scrollable. Closes #1440

Author: Federico Fissore

Diff for: app/src/processing/app/Editor.java

@@ -701,6 +701,7 @@ public void actionPerformed(ActionEvent e) {
       boardsMenus = new LinkedList<JMenu>();
 
       JMenu boardsMenu = new JMenu(_("Board"));
+      MenuScroller.setScrollerFor(boardsMenu);
       Editor.boardsMenus.add(boardsMenu);
       toolsMenu.add(boardsMenu);