Kodemirror
Toggle table of contents
common
Target filter
common
Switch theme
Search in API
Skip to content
Kodemirror
state
/
com.monkopedia.kodemirror.state
/
EditorSelection
/
map
map
fun
map
(
change
:
ChangeDesc
,
assoc
:
Int
=
-1
)
:
EditorSelection
Map a selection through a change. Used to adjust the selection position for changes.