rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-19 08:52:15 +01:00
Code Issues Releases Activity

Merge pull request #6411 from facchinm/huge_serialportlist_scrollable

Browse Source 
Add scroller for serial port list menu
This commit is contained in:
Martino Facchin 2017-08-01 11:44:28 +02:00 committed by GitHub
commit 0c4d59d13f
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
app/src/processing/app/Editor.java
View File

@ -761,6 +761,7 @@ public class Editor extends JFrame implements RunnerListener {
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);