Kodemirror
Toggle table of contents
common
Target filter
common
Switch theme
Search in API
Skip to content
Kodemirror
view
/
com.monkopedia.kodemirror.view
/
hasHoverTooltips
has
Hover
Tooltips
fun
hasHoverTooltips
(
session
:
EditorSession
)
:
Boolean
Check whether any hover tooltips are currently active in the given
session
.