org.syntax.jedit
Class JEditTextArea.AdjustHandler

java.lang.Object
  extended byorg.syntax.jedit.JEditTextArea.AdjustHandler
All Implemented Interfaces:
java.awt.event.AdjustmentListener, java.util.EventListener
Enclosing class:
JEditTextArea

class JEditTextArea.AdjustHandler
extends java.lang.Object
implements java.awt.event.AdjustmentListener


Constructor Summary
(package private) JEditTextArea.AdjustHandler()
           
 
Method Summary
 void adjustmentValueChanged(java.awt.event.AdjustmentEvent evt)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

JEditTextArea.AdjustHandler

JEditTextArea.AdjustHandler()
Method Detail

adjustmentValueChanged

public void adjustmentValueChanged(java.awt.event.AdjustmentEvent evt)
Specified by:
adjustmentValueChanged in interface java.awt.event.AdjustmentListener