Showing hover tooltips via a keybinding

This is related to #1697 - lint: Make F8/nextDiagnostic show relevant tooltip - codemirror/dev - code.haverbeke.berlin, I’d like to be able to trigger the display of the tooltips positioned at the current primary selection via a keybinding. The API currently doesn’t seem to provide something for this?

This patch adds functionality for this. It’s a bit tricky to get the lifetime of such tooltips right, since they aren’t controlled by mouse position. I’ve added a way to make them close automatically via a transaction predicate, and a way to close them explicitly.

1 Like