toggle menu
Randomness
v3.3.2
v3.3.2
v3.3.1
v3.3.0
v3.2.0
v3.1.0
v3.0.0
v2.7.7
v2.7.6
v2.7.5
v2.7.4
v2.7.3
v2.7.2
v2.7.1
v2.7.0
v2.6.1
v2.6.0
v2.5.1
v2.5.0
v2.4.1
v2.4.0
v2.3.0
v2.2.0
v2.1.0
v2.0.0
v1.6.1
v1.6.0
v1.5.2
v1.5.1
v1.5.0
v1.4.0
v1.3.2
v1.3.1
v1.3.0
v1.2.0
v1.1.0
v1.0.1
v1.0.0
jvm
switch theme
search in API
Randomness
/
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