Changeset 9760 in josm for trunk/src

Timestamp:

2016-02-08T19:12:01+01:00 (8 years ago)

Author:

bastiK

Message:

fixed #12507 - slow scrolling in "Map Paint Styles" window

File:

• trunk/src/org/openstreetmap/josm/gui/dialogs/MapPaintDialog.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/dialogs/MapPaintDialog.java

@@ -175 +175 @@
         InputMapUtils.addSpacebarAction(tblStyles, onoffAction);
 
-        createLayout(p, true, Arrays.asList(
+        JScrollPane sp = new JScrollPane(p);
+        // putting JTable directly in a JScrollPane works nicely, but with
+        // JPanel wrapper, the default scroll increment is too small
+        sp.getVerticalScrollBar().setUnitIncrement(16);
+        createLayout(sp, false, Arrays.asList(
                 new SideButton(onoffAction, false),
                 new SideButton(upAction, false),