1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-03-13 10:29:35 +01:00

add scroller for serial port list menu

Fixes #6397
This commit is contained in:
Martino Facchin 2017-06-22 10:24:12 +02:00
parent cd798abd1b
commit 506ebd8011

View File

@ -1108,6 +1108,9 @@ public class Editor extends JFrame implements RunnerListener {
}
portMenu.setEnabled(portMenu.getMenuComponentCount() > 0);
if (portMenu.getMenuComponentCount() > 0) {
MenuScroller.setScrollerFor(portMenu);
}
}