diff options
| author | Renan Oliveira <renanoliveira@google.com> | 2021-12-02 10:28:46 +0000 |
|---|---|---|
| committer | Luca Milanesio <luca.milanesio@gmail.com> | 2021-12-03 21:42:14 +0000 |
| commit | fb5f80b6645b5a56842c2084e6b76d9149d60633 (patch) | |
| tree | 69b35088283a5d09362aec64445f25decabb18cb /tools/maven/gerrit-extension-api_pom.xml | |
| parent | cece0568971e2a2ad0cb1d9907fc5057e51fe434 (diff) | |
Revert "Increase hover delay for token highlight"
This reverts commit 8692e5116aed57fb898f36fcf7e848da6e744caa.
Reason for revert: Text selection completely vanishes whenever token highlighting kicks in - it triggers LayerListeners that recreates the whole line - removing nodes from the tree that contain the selection. This was already an existing bug, but harder to reach as the delay was too short. Now some users are bumping into this problem more often
Change-Id: I7f1090c988c5b2da85416f4bc4dd52e55f98888d
(cherry picked from commit fe4abd1411b2cbd6f232749eebdb12cce59840d7)
Diffstat (limited to 'tools/maven/gerrit-extension-api_pom.xml')
0 files changed, 0 insertions, 0 deletions