info.bioinfweb.commons.swing

Class AccessibleUndoManager

java.lang.Object

javax.swing.undo.AbstractUndoableEdit

javax.swing.undo.CompoundEdit

javax.swing.undo.UndoManager

info.bioinfweb.commons.swing.AccessibleUndoManager

All Implemented Interfaces:

java.io.Serializable, java.util.EventListener, javax.swing.event.UndoableEditListener, javax.swing.undo.UndoableEdit

public class AccessibleUndoManager
extends javax.swing.undo.UndoManager

An extension of UndoManager that allows to access all edit objects contained in the underlying list.

Author:

Ben Stöver

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 and Description
AccessibleUndoManager()

Method Summary

Modifier and Type	Method and Description
boolean	contains(javax.swing.undo.UndoableEdit edit)
int	firstRedoPosition() Returns the position of the edit to redone next.
int	firstUndoPosition() Returns the position of the edit to undone next.
javax.swing.undo.UndoableEdit	getEdit(int pos)
javax.swing.undo.UndoableEdit	getRedoEdit(int pos) Returns the specified redo edit where the first to be redone has the index 0.
javax.swing.undo.UndoableEdit	getUndoEdit(int pos) Returns the specified undo edit where the first to be undone has the index 0.
int	redoCount()
void	redoTo(javax.swing.undo.UndoableEdit edit)
int	undoCount()
void	undoTo(javax.swing.undo.UndoableEdit edit)

Methods inherited from class javax.swing.undo.UndoManager

addEdit, canRedo, canUndo, canUndoOrRedo, discardAllEdits, editToBeRedone, editToBeUndone, end, getLimit, getRedoPresentationName, getUndoOrRedoPresentationName, getUndoPresentationName, redo, setLimit, toString, trimEdits, trimForLimit, undo, undoableEditHappened, undoOrRedo

Methods inherited from class javax.swing.undo.CompoundEdit

die, 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

AccessibleUndoManager

public AccessibleUndoManager()

Method Detail

firstUndoPosition

public int firstUndoPosition()

Returns the position of the edit to undone next.

firstRedoPosition

public int firstRedoPosition()

Returns the position of the edit to redone next.

undoCount

public int undoCount()

redoCount

public int redoCount()

getEdit

public javax.swing.undo.UndoableEdit getEdit(int pos)

getUndoEdit

public javax.swing.undo.UndoableEdit getUndoEdit(int pos)

Returns the specified undo edit where the first to be undone has the index 0.

Parameters:

pos -

Returns:

getRedoEdit

public javax.swing.undo.UndoableEdit getRedoEdit(int pos)

Returns the specified redo edit where the first to be redone has the index 0.

Parameters:

pos -

Returns:

redoTo

public void redoTo(javax.swing.undo.UndoableEdit edit)
            throws javax.swing.undo.CannotRedoException

Overrides:

redoTo in class javax.swing.undo.UndoManager

Throws:

javax.swing.undo.CannotRedoException

undoTo

public void undoTo(javax.swing.undo.UndoableEdit edit)
            throws javax.swing.undo.CannotUndoException

Overrides:

undoTo in class javax.swing.undo.UndoManager

Throws:

javax.swing.undo.CannotUndoException

contains

public boolean contains(javax.swing.undo.UndoableEdit edit)