Kodemirror
Toggle table of contents
common
Target filter
common
Switch theme
Search in API
Skip to content
Kodemirror
view
/
com.monkopedia.kodemirror.view
/
plus
plus
operator
fun
EditorTheme
.
plus
(
extras
:
Map
<
ThemeKey
<
*
>
,
Any
?
>
)
:
EditorTheme
Merge additional
extras
into this theme's extras map.