Changeset 9760 in josm for trunk/src/org


Ignore:
Timestamp:
2016-02-08T19:12:01+01:00 (9 years ago)
Author:
bastiK
Message:

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

File:
1 edited

Legend:

Unmodified
Added
Removed

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

    r9334 r9760  
    175175        InputMapUtils.addSpacebarAction(tblStyles, onoffAction);
    176176
    177         createLayout(p, true, Arrays.asList(
     177        JScrollPane sp = new JScrollPane(p);
     178        // putting JTable directly in a JScrollPane works nicely, but with
     179        // JPanel wrapper, the default scroll increment is too small
     180        sp.getVerticalScrollBar().setUnitIncrement(16);
     181        createLayout(sp, false, Arrays.asList(
    178182                new SideButton(onoffAction, false),
    179183                new SideButton(upAction, false),
Note: See TracChangeset for help on using the changeset viewer.