undo tree diff removed because of error, remapped undo and highlight-symbol keys