From 506ebd80110803f4a11c87be65798dedb3d8ecff Mon Sep 17 00:00:00 2001 From: Martino Facchin Date: Thu, 22 Jun 2017 10:24:12 +0200 Subject: [PATCH 1/2] 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 e68ca47783b..f46c206762e 100644 --- a/app/src/processing/app/Editor.java +++ b/app/src/processing/app/Editor.java @@ -1108,6 +1108,9 @@ public int compare(BoardPort o1, BoardPort o2) { } portMenu.setEnabled(portMenu.getMenuComponentCount() > 0); + if (portMenu.getMenuComponentCount() > 0) { + MenuScroller.setScrollerFor(portMenu); + } } From 76f4668f02e149efc69334009ff8f8124b2111a0 Mon Sep 17 00:00:00 2001 From: Martino Facchin Date: Mon, 26 Jun 2017 09:35:39 +0200 Subject: [PATCH 2/2] Call setScrollerFor port menu only once --- app/src/processing/app/Editor.java | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java index f46c206762e..8bf415385b5 100644 --- 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); @@ -1108,9 +1109,6 @@ public int compare(BoardPort o1, BoardPort o2) { } portMenu.setEnabled(portMenu.getMenuComponentCount() > 0); - if (portMenu.getMenuComponentCount() > 0) { - MenuScroller.setScrollerFor(portMenu); - } }