Uses of Interface
org.gjt.sp.jedit.textarea.ScrollListener
-
Uses of ScrollListener in org.gjt.sp.jedit.textarea
Modifier and TypeMethodDescriptionfinal void
TextArea.addScrollListener
(ScrollListener listener) Adds a scroll listener to this text area.final void
TextArea.removeScrollListener
(ScrollListener listener) Removes a scroll listener from this text area.