Edit > Undo history: minor UI clean-up