Kodemirror
Toggle table of contents
common
Target filter
common
Switch theme
Search in API
Skip to content
Kodemirror
view
/
com.monkopedia.kodemirror.view
/
gutter
gutter
fun
gutter
(
config
:
GutterConfig
)
:
Extension
Create an extension that adds a gutter column.