tree a8b92ab0770b147124b70f36e161c6cc88fcf559
parent 41d6894feed827ecf032e3e70e544bc0db49b164
author Wyatt Allen <wyatta@google.com> 1468432750 -0700
committer Wyatt Allen <wyatta@google.com> 1468469233 -0700

Applies intraline differences as annotations

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