Kodemirror
Toggle table of contents
common
Target filter
common
Switch theme
Search in API
Skip to content
Kodemirror
state
/
com.monkopedia.kodemirror.state
/
plus
plus
operator
fun
Extension
.
plus
(
other
:
Extension
)
:
ExtensionList
Combine two extensions into an
ExtensionList
.