Changeset 9831 in josm for trunk

Timestamp:

2016-02-19T11:42:11+01:00 (8 years ago)

Author:

bastiK

Message:

see #12507 - slow scrolling in properties dialog (patch by kolesar)

File:

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

trunk/src/org/openstreetmap/josm/gui/dialogs/properties/PropertiesDialog.java

@@ -293 +293 @@
         selectSth.setPreferredSize(scrollPane.getSize());
         presets.setSize(scrollPane.getSize());
+        GuiHelper.setDefaultIncrement(scrollPane);
 
         editHelper.loadTagsIfNeeded();