Kodemirror
Toggle table of contents
common
Target filter
common
Switch theme
Search in API
Skip to content
Kodemirror
search
/
com.monkopedia.kodemirror.search
/
openSearchPanel
open
Search
Panel
val
openSearchPanel
:
(
EditorSession
)
->
Boolean
Open the search panel. Lazily installs the search extension if needed.