edu.rice.cs.drjava.ui
Class InteractionsPane.CaretUpdateListener
java.lang.Object
|
+--edu.rice.cs.drjava.ui.InteractionsPane.CaretUpdateListener
- All Implemented Interfaces:
- DocumentListener, EventListener
- Enclosing class:
- InteractionsPane
- private class InteractionsPane.CaretUpdateListener
- extends Object
- implements DocumentListener
Listener to ensure that the caret always stays on or after the
prompt, so that output is always scrolled to the bottom.
(The prompt is always at the bottom.)
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait |