From 9c1fd0d7451fd8a2d9bf8f78894d971569afe273 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Tue, 26 May 2015 09:26:52 +0200
Subject: [PATCH] Scrollable menus can be a little higher

---
 app/src/processing/app/tools/MenuScroller.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/src/processing/app/tools/MenuScroller.java b/app/src/processing/app/tools/MenuScroller.java
index e5ac193ae..d92c33a48 100644
--- a/app/src/processing/app/tools/MenuScroller.java
+++ b/app/src/processing/app/tools/MenuScroller.java
@@ -482,7 +482,7 @@ public class MenuScroller {
     double screenHeight = java.awt.Toolkit.getDefaultToolkit().getScreenSize().getHeight();
 
     int maxItems = (int) ((screenHeight - arrowMenuItemHeight * 2 - menuBorderHeight) / itemHeight);
-    maxItems -= maxItems / 3;
+    maxItems -= maxItems / 4;
     return maxItems;
   }