Randomness/com.fwdekker.randomness.ui/SimpleJBDocumentListener/documentChanged

documentChanged

open override fun documentChanged(event: DocumentEvent)(source)

Invoked after contents have been changed.

Parameters

event

the event that triggered the listener