Package groovy.ui.text

Class 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

      All Methods Instance Methods Concrete Methods 
      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 Detail

      • TextUndoManager

        public TextUndoManager()
        Creates a new instance of TextUndoManager.

    • Method Detail

      • 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