Index: /trunk/src/org/openstreetmap/josm/data/UndoRedoHandler.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/data/UndoRedoHandler.java	(revision 1876)
+++ /trunk/src/org/openstreetmap/josm/data/UndoRedoHandler.java	(revision 1877)
@@ -8,4 +8,5 @@
 import org.openstreetmap.josm.Main;
 import org.openstreetmap.josm.command.Command;
+import org.openstreetmap.josm.data.osm.DataSet;
 import org.openstreetmap.josm.gui.layer.Layer;
 import org.openstreetmap.josm.gui.layer.OsmDataLayer;
@@ -45,4 +46,7 @@
         }
         fireCommandsChanged();
+
+        // the command may have changed the selection so tell the listeners about the current situation
+        DataSet.fireSelectionChanged(Main.main.getCurrentDataSet().getSelected());
     }