Repository navigation
[Feature Request] make tooltip not disappear when hovered over, and make text selectable #1463
Description
It'd be nice to make the tooltip stay when hovering over it, and to disappear when the mouse leaves, similar to linter-ui-default or with atom-ide tooltips.
Then we can make the text selectable (which is super useful for copying type identifiers, etc). We could also make type identifiers clickable to take us to the definitions.
Activity
lierdakil commentedon Nov 18, 2018
Atom-IDE tooltips are available as an option in v12.7.0 (released just now). As for the rest, PRs are welcome, I doubt I will be able to get to this anytime soon.
trusktr commentedon Dec 28, 2018
Looks like those blue tooltips are the built-in ones? Not sure how to change their behavior, seems like any plugin that uses them will have the same behavior.