tree 2111751933c6452190d0bea41f709e395aa65a51
parent 9dda122b11c092a8a7fdb753bff63c4cb59833f6
author Tao Zhou <taoalpha@google.com> 1565360094 +0200
committer Tao Zhou <taoalpha@google.com> 1565360094 +0200

Fix intraline highlights

Highlight with dark color if no intraline info, and use light
color if we do have intraline info but no changes.

Change-Id: Ied6a33b60792c4b0dbf1dc3c17020ee10aa2910a