edu.rice.cs.drjava.ui
Class MainFrame.PositionListener

java.lang.Object
  |
  +--edu.rice.cs.drjava.ui.MainFrame.PositionListener
All Implemented Interfaces:
CaretListener, EventListener
Enclosing class:
MainFrame

private class MainFrame.PositionListener
extends Object
implements CaretListener

Inner class to handle the updating of current position within the document. Registered with the definitionspane.


Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait