Diff view: disable pre-processing highlights in the diff view