Undo menu works correctly except highlighting