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!