Kodemirror
Toggle table of contents
common
Target filter
common
Switch theme
Search in API
Skip to content
Kodemirror
commands
/
com.monkopedia.kodemirror.commands
/
redoDepth
redo
Depth
fun
redoDepth
(
state
:
EditorState
)
:
Int