Merge pull request #6411 from facchinm/huge_serialportlist_scrollable

Add scroller for serial port list menu
arduino · Aug 1, 2017 · 0c4d59d · 0c4d59d
2 parents 4d675d1 + 76f4668
commit 0c4d59d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java
@@ -761,6 +761,7 @@ public void actionPerformed(ActionEvent e) {
       portMenu = new JMenu(tr("Port"));
     populatePortMenu();
     toolsMenu.add(portMenu);
+    MenuScroller.setScrollerFor(portMenu);
     item = new JMenuItem(tr("Get Board Info"));
     item.addActionListener(e -> handleBoardInfo());
     toolsMenu.add(item);