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

Scroll the editor tab menu.

Browse Source 
When the sketch folder contains a lot of source files, the editor
tab menu should scroll. Without this, we don't have a way to select
some files hidden under bottom edge of the screen.
This commit is contained in:
Shigeru KANEMOTO 2013-01-18 15:47:06 +09:00
parent e1856b373c
commit 1c7c530454
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
app/src/processing/app/EditorHeader.java
View File

@ -22,6 +22,7 @@
*/
package processing.app;
import processing.app.tools.MenuScroller;
import static processing.app.I18n._;
import java.awt.*;
@ -238,6 +239,7 @@ public class EditorHeader extends JComponent {
} else {
menu = new JMenu();
MenuScroller.setScrollerFor(menu);
popup = menu.getPopupMenu();
add(popup);
popup.setLightWeightPopupEnabled(true);