This Undo bug happened on Windows machine too and also cannot reproduce. But it seems that in 4.2 it is fixed, at least I don’t remember it happened in this build.
But while testing this behavior, I solved previous problem I had with JumpBar. I will search my post and write there. It’s really strange behavior.