Le 13/07/2012 19:21, Richard Heck a écrit :
This is why I propose to add a parameter to reload telling whether
undo should be discarded.

I just committed that change. This is an obvious candidate for branch (no risk, IMO).

JMarc

Reply via email to