Dear users and contributors, I had the feeling these days that undos don't work properly. I was almost sure it sucked big time on certain occasions, but in this last hour I was trying to reproduce the bad behavior and everything worked properly. If you find undo behaving in a non-natural way, please report it here on the mailing list, with proper instructions to reproduce the bad behavior. Thank you, Alessandro.