Kodemirror
Toggle table of contents
common
Target filter
common
Switch theme
Search in API
Skip to content
Kodemirror
view
/
com.monkopedia.kodemirror.view
/
GutterConfig
/
renderEmptyElements
render
Empty
Elements
val
renderEmptyElements
:
Boolean
Padding on the right of gutter content.