Changeset 11452 in josm for trunk/src/org/openstreetmap/josm/gui/dialogs/FilterTableModel.java
- Timestamp:
- 2017-01-12T01:24:40+01:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/dialogs/FilterTableModel.java
r10627 r11452 118 118 } 119 119 120 if ( Main.isDisplayingMapView() && changed) {120 if (changed && Main.isDisplayingMapView()) { 121 121 Main.map.mapView.repaint(); 122 122 Main.map.filterDialog.updateDialogHeader();
Note:
See TracChangeset
for help on using the changeset viewer.