org.gjt.sp.jedit.textarea
Interface ScrollListener

All Superinterfaces:

java.util.EventListener

public interface ScrollListener
extends java.util.EventListener

A scroll listener will be notified when the text area is scrolled, either horizontally or vertically.

Since:

jEdit 3.2pre2

Method Summary

void	scrolledHorizontally(JEditTextArea textArea)
void	scrolledVertically(JEditTextArea textArea)

Method Detail

scrolledVertically

void scrolledVertically(JEditTextArea textArea)

scrolledHorizontally

void scrolledHorizontally(JEditTextArea textArea)