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

Packages that use ScrollListener
org.gjt.sp.jedit.textarea The classes in this package are in the process of being refactored, for jedit 4.3final. 
 

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.