
The `_addIntralineHighlights` method of GrDiffBuilder is rewritten to take advantage of GrAnnotate. In particular, formerly, the method would apply intraline difference highlights by modifying an HTML string. With this change, the highlight positions are translated as calls to `GrAnnotate.annotateElement`, which works on the `DIV.contentText` element. Change-Id: I2838ef29f057f1108e2ffd196bb48a239366dc87