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

Scrollable menus can be a little higher

Browse Source
This commit is contained in:
Federico Fissore 2015-05-26 09:26:52 +02:00
parent 777e726816
commit 9c1fd0d745
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
app/src/processing/app/tools/MenuScroller.java
View File

@ -482,7 +482,7 @@ public class MenuScroller {
double screenHeight = java.awt.Toolkit.getDefaultToolkit().getScreenSize().getHeight(); double screenHeight = java.awt.Toolkit.getDefaultToolkit().getScreenSize().getHeight();
int maxItems = (int) ((screenHeight - arrowMenuItemHeight * 2 - menuBorderHeight) / itemHeight); int maxItems = (int) ((screenHeight - arrowMenuItemHeight * 2 - menuBorderHeight) / itemHeight);
maxItems -= maxItems / 3; maxItems -= maxItems / 4;
return maxItems; return maxItems;
} }