propertyChange

open override fun propertyChange(event: PropertyChangeEvent)(source)

Scrolls to the newly focused element if that element is in the editor.