org.gjt.sp.jedit.buffer
Class UndoManager.Remove

java.lang.Object
  extended by org.gjt.sp.jedit.buffer.UndoManager.Remove
Enclosing class:
UndoManager

public static class UndoManager.Remove
extends java.lang.Object


Method Summary
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object