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
    Version:
    $Id: ScrollListener.java 15570 2009-06-25 00:43:57Z ezust $
    Author:
    Slava Pestov
    • Method Detail

      • scrolledVertically

        void scrolledVertically​(TextArea textArea)
      • scrolledHorizontally

        void scrolledHorizontally​(TextArea textArea)