Undo-tree and unicode-fonts