Uses of Interface
org.gjt.sp.jedit.textarea.ScrollListener

Packages that use ScrollListener

org.gjt.sp.jedit.textarea

Since jEdit 4.2, many TextArea classes have been split into a base and derived class.

Uses of ScrollListener in org.gjt.sp.jedit.textarea

Methods in org.gjt.sp.jedit.textarea with parameters of type ScrollListener

void	TextArea.addScrollListener(ScrollListener listener) Adds a scroll listener to this text area.
void	TextArea.removeScrollListener(ScrollListener listener) Removes a scroll listener from this text area.