From 506ebd80110803f4a11c87be65798dedb3d8ecff Mon Sep 17 00:00:00 2001
From: Martino Facchin <m.facchin@arduino.cc>
Date: Thu, 22 Jun 2017 10:24:12 +0200
Subject: [PATCH] add scroller for serial port list menu

Fixes #6397
---
 app/src/processing/app/Editor.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java
index e68ca4778..f46c20676 100644
--- a/app/src/processing/app/Editor.java
+++ b/app/src/processing/app/Editor.java
@@ -1108,6 +1108,9 @@ public class Editor extends JFrame implements RunnerListener {
     }
 
     portMenu.setEnabled(portMenu.getMenuComponentCount() > 0);
+    if (portMenu.getMenuComponentCount() > 0) {
+      MenuScroller.setScrollerFor(portMenu);
+    }
   }