Changeset 8982 in josm for trunk/src

Timestamp:

2015-11-02T21:33:21+01:00 (9 years ago)

Author:

simon04

Message:

fix #11859 - Presets cut off on small screens

Add a menu scroller for long preset groups, i.e., having 15 or more elements,
can be changed with preference key taggingpreset.min-elements-for-scroller.

File:

• trunk/src/org/openstreetmap/josm/gui/tagging/presets/TaggingPresets.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/tagging/presets/TaggingPresets.java

@@ -12 +12 @@
 
 import org.openstreetmap.josm.Main;
+import org.openstreetmap.josm.gui.MenuScroller;
 import org.openstreetmap.josm.gui.tagging.ac.AutoCompletionManager;
 
@@ -73 +74 @@
                 }
             }
+            for (JMenu submenu : submenus.values()) {
+                if (submenu.getItemCount() >= Main.pref.getInteger("taggingpreset.min-elements-for-scroller", 15)) {
+                    MenuScroller.setScrollerFor(submenu);
+                }
+            }
         }
         if (Main.pref.getBoolean("taggingpreset.sortmenu")) {