|
|||||||||
| Home >> All >> org >> gjt >> sp >> jedit >> [ textarea overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
org.gjt.sp.jedit.textarea
Class JEditTextArea.AdjustHandler

java.lang.Objectorg.gjt.sp.jedit.textarea.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
- extends java.lang.Object
| Constructor Summary | |
(package private) |
JEditTextArea.AdjustHandler()
|
| Method Summary | |
void |
adjustmentValueChanged(java.awt.event.AdjustmentEvent evt)
This method is called when an adjustable value changes. |
| 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)
- Description copied from interface:
java.awt.event.AdjustmentListener - This method is called when an adjustable value changes.
- Specified by:
adjustmentValueChangedin interfacejava.awt.event.AdjustmentListener
|
|||||||||
| Home >> All >> org >> gjt >> sp >> jedit >> [ textarea overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
JAVADOC
org.gjt.sp.jedit.textarea.JEditTextArea.AdjustHandler