toggle menu
Randomness v3.0.0
3.0.0
jvm
switch theme
search in API
Randomness v3.0.0
/
com.fwdekker.randomness.ui
/
SimpleJBDocumentListener
/
documentChanged
document
Changed
open
override
fun
documentChanged
(
event
:
DocumentEvent
)
(
source
)
Invoked after contents have been changed.
Parameters
event
the event that triggered the listener