Changeset 9778 in josm for trunk/src/org/openstreetmap/josm/gui/dialogs/MapPaintDialog.java
- Timestamp:
- 2016-02-10T20:47:11+01:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/dialogs/MapPaintDialog.java
r9760 r9778 176 176 177 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); 178 GuiHelper.setDefaultIncrement(sp); 181 179 createLayout(sp, false, Arrays.asList( 182 180 new SideButton(onoffAction, false),
Note:
See TracChangeset
for help on using the changeset viewer.