Annoying huge popovers are hard to get rid of
When i move my mouse for any reason i'm immediately blinded by these humongous tool-tips, and while they're a very nice information to have, i would appreciate if they were:
- written slightly smaller
- less reactive, maybe appearing only if the user hovers the same for word aggressively for a few seconds
- closable with a dedicated button, or even better by clicking somewhere in the textview (right now they close randomly if i hover various other words in my code for a dozen of seconds, and it seems to be the only way to close them without opening an other popover or switching to an other window)
version 41.1 (flatpak)
the language is python, if it matters