Changeset 9833 in josm for trunk/src/org/openstreetmap/josm/gui/dialogs/properties/PropertiesDialog.java

Timestamp:

2016-02-19T16:26:48+01:00 (10 years ago)

Author:

bastiK

Message:

fixed #12507 - slow mouse wheel scrolling (based on 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();