From bfea2724ba9e0649a1eb7c6dbd60c0e9da03d3aa Mon Sep 17 00:00:00 2001
From: Martino Facchin <m.facchin@arduino.cc>
Date: Thu, 7 Sep 2017 12:20:56 +0200
Subject: [PATCH] Add scroller for programmers menu

---
 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 79c6174bb..428697a83 100644
--- a/app/src/processing/app/Editor.java
+++ b/app/src/processing/app/Editor.java
@@ -769,6 +769,7 @@ public class Editor extends JFrame implements RunnerListener {
 
     base.rebuildProgrammerMenu();
     programmersMenu = new JMenu(tr("Programmer"));
+    MenuScroller.setScrollerFor(programmersMenu);
     base.getProgrammerMenus().stream().forEach(programmersMenu::add);
     toolsMenu.add(programmersMenu);