glok
Toggle table of contents
common
Platform filter
common
Switch theme
Search in API
glok
glok-model
/
uk.co.nickthecoder.glok.history
/
documentListener
document
Listener
fun
documentListener
(
lambda
:
(
document
:
HistoryDocument
,
change
:
Change
,
isUndo
:
Boolean
)
->
Unit
)
:
DocumentListener