tree a339efad3be0bb7f56f6521e14f1ef3717070181
parent b29403af1f09ad131fb30dcb629d0daf628dab8a
author Ben Rohlfs <brohlfs@google.com> 1676273990 +0100
committer Ben Rohlfs <brohlfs@google.com> 1676273990 +0100

Remove obsolete `displayLine` property from gr-diff

The only effect of `displayLine` was adding a css class. But that rule
was removed in change 333000. So for one year the property is obsolete
already. And nobody missed the feature of hiding the line selection.

If we wanted to bring such a feature back, then we would move it into
render prefs.

Release-Notes: skip
Change-Id: I9015088a459638a49593bfd1edaa7716fc5529f0