Ticket #12507: PropertiesDialogScrollIncrement.patch
| File PropertiesDialogScrollIncrement.patch, 651 bytes (added by , 10 years ago) |
|---|
-
src/org/openstreetmap/josm/gui/dialogs/properties/PropertiesDialog.java
diff --git a/src/org/openstreetmap/josm/gui/dialogs/properties/PropertiesDialog.java b/src/org/openstreetmap/josm/gui/dialogs/properties/PropertiesDialog.java index ec817f5..de99eef 100644
a b implements SelectionChangedListener, MapView.EditLayerChangeListener, DataSetLis 292 292 293 293 selectSth.setPreferredSize(scrollPane.getSize()); 294 294 presets.setSize(scrollPane.getSize()); 295 GuiHelper.setDefaultIncrement(scrollPane); 295 296 296 297 editHelper.loadTagsIfNeeded(); 297 298
