Ticket #3787: fix-paste-selection.patch

(a) core/src/org/openstreetmap/josm/actions/PasteAction.java~fix-paste-selection vs. (b) core-dave/src/org/openstreetmap/josm/actions/PasteAction.java

@@ -105 +105 @@
         /* Now execute the commands to add the duplicated contents of the paste buffer to the map */
 
         Main.main.undoRedo.add(new AddPrimitivesCommand(bufferCopy));
-        //getCurrentDataSet().setSelected(osms);
         Main.map.mapView.repaint();
     }
 

(a) core/src/org/openstreetmap/josm/command/AddPrimitivesCommand.java~fix-paste-selection vs. (b) core-dave/src/org/openstreetmap/josm/command/AddPrimitivesCommand.java

@@ -34 +34 @@
         for (int i=0; i<createdPrimitives.size(); i++) {
             createdPrimitives.get(i).load(data.get(i), getLayer().data);
         }
-
+        getLayer().data.setSelected(createdPrimitives);
         return true;
     }