tree 7253b36e8d254e22ec85a4f9f704794be9f1d158
parent 33c07f7775b7e378d06838a21d9eadd7e0305827
author Renan Oliveira <renanoliveira@google.com> 1637838221 +0100
committer Renan Oliveira <renanoliveira@google.com> 1637838221 +0100

Increase hover delay for token highlight

While we don't provide token highlighting for a click event we want to
minimize the amount of accidental token highlights by increasing the
hover delay. With that it becomes clearer the user wanted to highlight a
token.

Change-Id: Ibc82c929895461595a09a0af4b1ac29aee42a306