add hover priority (!1575) · Merge requests · Warren Gifford / sourcegraph · GitLab

Warren Gifford requested to merge hover-priority into master Dec 26, 2018

Created by: sqs

Support hover priorities for sorting to fix #579 (closed)
Support hover priorities for selectively showing/hiding basic-code-intel hovers to fix #1561 (closed)
Add tests and clean up this code (see commit messages)