I see in the CodeMirror Tooltip Example that I can select text inside tooltips.
However, with my implementation, they disappear when I try to hover on top of a tooltip, before I can select any text.
I’m just using tooltips({parent: document.body})
, in my state.extensions.