mirror of
https://github.com/esp8266/Arduino.git
synced 2025-06-16 11:21:18 +03:00
Boards now scrollable. Closes #1440
This commit is contained in:
@ -701,6 +701,7 @@ public class Editor extends JFrame implements RunnerListener {
|
||||
boardsMenus = new LinkedList<JMenu>();
|
||||
|
||||
JMenu boardsMenu = new JMenu(_("Board"));
|
||||
MenuScroller.setScrollerFor(boardsMenu);
|
||||
Editor.boardsMenus.add(boardsMenu);
|
||||
toolsMenu.add(boardsMenu);
|
||||
|
||||
|
Reference in New Issue
Block a user