Module jEdit

Interface ScrollListener

All Superinterfaces:
EventListener

public interface ScrollListener extends EventListener
A scroll listener will be notified when the text area is scrolled, either horizontally or vertically.
Since:
jEdit 3.2pre2
Version:
$Id: ScrollListener.java 15570 2009-06-25 00:43:57Z ezust $
Author:
Slava Pestov
  • Method Details

    • scrolledVertically

      void scrolledVertically(TextArea textArea)
    • scrolledHorizontally

      void scrolledHorizontally(TextArea textArea)