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.