[Feature Request] make tooltip not disappear when hovered over, and make text selectable
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.
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.
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.