org.jmol.console
Class ScriptEditor.EditorDocument.MyUndoableEditListener

java.lang.Object
  extended by org.jmol.console.ScriptEditor.EditorDocument.MyUndoableEditListener
All Implemented Interfaces:
java.util.EventListener, javax.swing.event.UndoableEditListener
Enclosing class:
ScriptEditor.EditorDocument

protected class ScriptEditor.EditorDocument.MyUndoableEditListener
extends java.lang.Object
implements javax.swing.event.UndoableEditListener


Constructor Summary
protected ScriptEditor.EditorDocument.MyUndoableEditListener()
           
 
Method Summary
 void undoableEditHappened(javax.swing.event.UndoableEditEvent e)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ScriptEditor.EditorDocument.MyUndoableEditListener

protected ScriptEditor.EditorDocument.MyUndoableEditListener()
Method Detail

undoableEditHappened

public void undoableEditHappened(javax.swing.event.UndoableEditEvent e)
Specified by:
undoableEditHappened in interface javax.swing.event.UndoableEditListener