Package groovy.console.ui.text

Class TextUndoManager

java.lang.Object
javax.swing.undo.AbstractUndoableEdit
javax.swing.undo.CompoundEdit
javax.swing.undo.UndoManager
groovy.console.ui.text.TextUndoManager
All Implemented Interfaces:
java.io.Serializable, java.util.EventListener, javax.swing.event.UndoableEditListener, javax.swing.undo.UndoableEdit
public class TextUndoManager
extends javax.swing.undo.UndoManager
To use this, simply drop this as an UndoableEditListener into your document, and then create actions to call undo/redo as needed (checking can undo/redo first, of course).
See Also:
Serialized Form

  • Field Summary

    Fields inherited from class javax.swing.undo.CompoundEdit

    edits

    Fields inherited from class javax.swing.undo.AbstractUndoableEdit

    RedoName, UndoName

  • Constructor Summary

    Constructors
    Constructor Description
    TextUndoManager()
    Creates a new instance of TextUndoManager.

  • Method Summary

    Modifier and Type Method Description
    void addPropertyChangeListener​(java.beans.PropertyChangeListener pcl)  
    void die()  
    void discardAllEdits()  
    protected void firePropertyChangeEvent​(java.lang.String name, boolean oldValue, boolean newValue)  
    boolean hasChanged()  
    void redo()  
    protected void redoTo​(javax.swing.undo.UndoableEdit edit)  
    void removePropertyChangeListener​(java.beans.PropertyChangeListener pcl)  
    void reset()  
    protected void trimEdits​(int from, int to)  
    void undo()  
    void undoableEditHappened​(javax.swing.event.UndoableEditEvent uee)  

    Methods inherited from class javax.swing.undo.UndoManager

    addEdit, canRedo, canUndo, canUndoOrRedo, editToBeRedone, editToBeUndone, end, getLimit, getRedoPresentationName, getUndoOrRedoPresentationName, getUndoPresentationName, setLimit, toString, trimForLimit, undoOrRedo, undoTo

    Methods inherited from class javax.swing.undo.CompoundEdit

    getPresentationName, isInProgress, isSignificant, lastEdit

    Methods inherited from class javax.swing.undo.AbstractUndoableEdit

    replaceEdit

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

  • Constructor Details

    • TextUndoManager

      public TextUndoManager()
      Creates a new instance of TextUndoManager.

  • Method Details

    • addPropertyChangeListener

      public void addPropertyChangeListener​(java.beans.PropertyChangeListener pcl)

    • die

      public void die()
      Specified by:
      die in interface javax.swing.undo.UndoableEdit
      Overrides:
      die in class javax.swing.undo.CompoundEdit

    • discardAllEdits

      public void discardAllEdits()
      Overrides:
      discardAllEdits in class javax.swing.undo.UndoManager

    • firePropertyChangeEvent

      protected void firePropertyChangeEvent​(java.lang.String name, boolean oldValue, boolean newValue)

    • hasChanged

      public boolean hasChanged()

    • redo

      public void redo() throws javax.swing.undo.CannotRedoException
      Specified by:
      redo in interface javax.swing.undo.UndoableEdit
      Overrides:
      redo in class javax.swing.undo.UndoManager
      Throws:
      javax.swing.undo.CannotRedoException

    • redoTo

      protected void redoTo​(javax.swing.undo.UndoableEdit edit)
      Overrides:
      redoTo in class javax.swing.undo.UndoManager

    • removePropertyChangeListener

      public void removePropertyChangeListener​(java.beans.PropertyChangeListener pcl)

    • reset

      public void reset()

    • trimEdits

      protected void trimEdits​(int from, int to)
      Overrides:
      trimEdits in class javax.swing.undo.UndoManager

    • undo

      public void undo() throws javax.swing.undo.CannotUndoException
      Specified by:
      undo in interface javax.swing.undo.UndoableEdit
      Overrides:
      undo in class javax.swing.undo.UndoManager
      Throws:
      javax.swing.undo.CannotUndoException

    • undoableEditHappened

      public void undoableEditHappened​(javax.swing.event.UndoableEditEvent uee)
      Specified by:
      undoableEditHappened in interface javax.swing.event.UndoableEditListener
      Overrides:
      undoableEditHappened in class javax.swing.undo.UndoManager