small changes parsing diff mode
when undoing highlighting, do not try to rehighlight again