Changeset 16410 in josm


Ignore:
Timestamp:
2020-05-15T16:34:57+02:00 (3 weeks ago)
Author:
simon04
Message:

fix #19227 - PluginListPanel: speed up scrolling

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginListPanel.java

    r13799 r16410  
    178178        SwingUtilities.invokeLater(() -> scrollRectToVisible(visibleRect));
    179179    }
     180
     181    @Override
     182    public int getScrollableUnitIncrement(Rectangle visibleRect, int orientation, int direction) {
     183        return visibleRect.height / 4;
     184    }
     185
     186    @Override
     187    public int getScrollableBlockIncrement(Rectangle visibleRect, int orientation, int direction) {
     188        return visibleRect.height;
     189    }
    180190}
Note: See TracChangeset for help on using the changeset viewer.