Ticket #5209: SelectionListDialog-queueTitle.patch
| File SelectionListDialog-queueTitle.patch, 2.5 KB (added by , 16 years ago) |
|---|
-
src/org/openstreetmap/josm/gui/dialogs/SelectionListDialog.java
58 58 import org.openstreetmap.josm.data.osm.event.DataChangedEvent; 59 59 import org.openstreetmap.josm.data.osm.event.DataSetListener; 60 60 import org.openstreetmap.josm.data.osm.event.DatasetEventManager; 61 import org.openstreetmap.josm.data.osm.event.DatasetEventManager.FireMode; 61 62 import org.openstreetmap.josm.data.osm.event.NodeMovedEvent; 62 63 import org.openstreetmap.josm.data.osm.event.PrimitivesAddedEvent; 63 64 import org.openstreetmap.josm.data.osm.event.PrimitivesRemovedEvent; … … 65 66 import org.openstreetmap.josm.data.osm.event.SelectionEventManager; 66 67 import org.openstreetmap.josm.data.osm.event.TagsChangedEvent; 67 68 import org.openstreetmap.josm.data.osm.event.WayNodesChangedEvent; 68 import org.openstreetmap.josm.data.osm.event.DatasetEventManager.FireMode;69 69 import org.openstreetmap.josm.data.osm.visitor.BoundingXYVisitor; 70 70 import org.openstreetmap.josm.gui.DefaultNameFormatter; 71 71 import org.openstreetmap.josm.gui.MapView; 72 import org.openstreetmap.josm.gui.MapView.EditLayerChangeListener; 72 73 import org.openstreetmap.josm.gui.OsmPrimitivRenderer; 73 74 import org.openstreetmap.josm.gui.SideButton; 74 import org.openstreetmap.josm.gui.MapView.EditLayerChangeListener;75 75 import org.openstreetmap.josm.gui.dialogs.relation.DownloadRelationMemberTask; 76 76 import org.openstreetmap.josm.gui.dialogs.relation.RelationEditor; 77 77 import org.openstreetmap.josm.gui.layer.OsmDataLayer; … … 99 99 private DownloadSelectedIncompleteMembersAction actDownloadSelectedIncompleteMembers; 100 100 private InspectAction actInspect; 101 101 102 private boolean titleDirty; 103 102 104 /** 103 105 * Builds the panel with the list of selected OSM primitives 104 106 * … … 274 276 */ 275 277 class TitleUpdater implements ListDataListener { 276 278 protected void updateTitle() { 277 setTitle(model.getJOSMSelectionSummary()); 279 if (!titleDirty) { 280 titleDirty = true; 281 282 // queue title update 283 SwingUtilities.invokeLater(new Runnable() { 284 public void run() { 285 setTitle(model.getJOSMSelectionSummary()); 286 titleDirty = false; 287 } 288 }); 289 } 278 290 } 279 291 280 292 public void contentsChanged(ListDataEvent e) {
