org.jmol.console
Class ScriptEditor.EditorDocument.MyUndoableEditListener
java.lang.Object
org.jmol.console.ScriptEditor.EditorDocument.MyUndoableEditListener
- All Implemented Interfaces:
- EventListener, UndoableEditListener
- Enclosing class:
- ScriptEditor.EditorDocument
protected class ScriptEditor.EditorDocument.MyUndoableEditListener
- extends Object
- implements UndoableEditListener
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ScriptEditor.EditorDocument.MyUndoableEditListener
protected ScriptEditor.EditorDocument.MyUndoableEditListener()
undoableEditHappened
public void undoableEditHappened(UndoableEditEvent e)
- Specified by:
undoableEditHappened
in interface UndoableEditListener