groovy.ui.text
Class TextUndoManager

java.lang.Object
  javax.swing.undo.AbstractUndoableEdit
      javax.swing.undo.CompoundEdit
          javax.swing.undo.UndoManager
              groovy.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

TextUndoManager()
Creates a new instance of TextUndoManager.

Method Summary

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