Kodemirror
Toggle table of contents
common
Target filter
common
Switch theme
Search in API
Skip to content
Kodemirror
view
/
com.monkopedia.kodemirror.view
/
EditorSelectionSaver
Editor
Selection
Saver
val
EditorSelectionSaver
:
Saver
<
EditorSelection
,
String
>
A
Saver
for
EditorSelection
that serializes to JSON.