On 06/05/2013 19:30, Arnaud Vandecasteele wrote:
Finally, for my needs I developed a plugin to get back the previous selection.
We could do with this as a core feature. Please-pretty-please dev-team! _______________________________________________ josm-dev mailing list josm-dev@openstreetmap.org http://lists.openstreetmap.org/listinfo/josm-dev