On 26/02/2008 14:02, David Earl wrote: > On 26/02/2008 09:43, Martijn Verwijmeren wrote: >> On Sun, 24 Feb 2008 17:41:20 +0000 >> David Earl <[EMAIL PROTECTED]> wrote: >>> I have added a new operation on the JOSM Edit menu: Paste Tags >>> (CTRL+SHIFT+V). This will be in tomorrow's build. >> I had some trouble with this new operation. See: >> http://josm.openstreetmap.de/ticket/631 > > Sorry about that. I'll investigate.
OK, I've fixed it. I'm afraid I was thinking how something works in PHP rather than Java, and it wasn't quite equivalent. Unfortunately it wasn't a consequence of actually doing the Paste Tags itself: it would happen whenever the selection changes in certain ways. However, it would only happen if you have previously used Edit > Copy, so it isn't a total show stopper. Nevertheless it is serious crash which this might justify Frederick starting a build manually. David _______________________________________________ talk mailing list [email protected] http://lists.openstreetmap.org/cgi-bin/mailman/listinfo/talk
