Changeset 16410 in josm for trunk/src/org/openstreetmap/josm/gui/preferences

Timestamp:

2020-05-15T16:34:57+02:00 (4 years ago)

Author:

simon04

Message:

fix #19227 - PluginListPanel: speed up scrolling

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginListPanel.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginListPanel.java

@@ -178 +178 @@
         SwingUtilities.invokeLater(() -> scrollRectToVisible(visibleRect));
     }
+
+    @Override
+    public int getScrollableUnitIncrement(Rectangle visibleRect, int orientation, int direction) {
+        return visibleRect.height / 4;
+    }
+
+    @Override
+    public int getScrollableBlockIncrement(Rectangle visibleRect, int orientation, int direction) {
+        return visibleRect.height;
+    }
 }