toggle menu
Glok
0.5.1
common
switch theme
search in API
glok-model
/
uk.co.nickthecoder.glok.history
/
documentListener
document
Listener
fun
documentListener
(
lambda
:
(
document
:
HistoryDocument
,
change
:
Change
,
isUndo
:
Boolean
)
->
Unit
)
:
DocumentListener