Kodemirror
Toggle table of contents
common
Target filter
common
Switch theme
Search in API
Skip to content
Kodemirror
search
/
com.monkopedia.kodemirror.search
/
searchPanelOpen
search
Panel
Open
fun
searchPanelOpen
(
state
:
EditorState
)
:
Boolean
Whether the search panel is currently open.