org.jeditor.core

Class SyntaxUndoManager

java.lang.Object

javax.swing.undo.AbstractUndoableEdit

javax.swing.undo.CompoundEdit

javax.swing.undo.UndoManager

org.jeditor.core.SyntaxUndoManager

All Implemented Interfaces:

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

public class SyntaxUndoManager
extends javax.swing.undo.UndoManager

An UndoManager used for the editor.

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
SyntaxUndoManager()

Method Summary

Modifier and Type	Method and Description
boolean	addEdit(javax.swing.undo.UndoableEdit anEdit)
void	addUndoManagerListener(SyntaxUndoManagerListener listener) Add an UndoManager listener.
boolean	canUndo()
int	getCountEdit() Return the edit count of the undo manager.
boolean	isSilent() Return true if the document updates are silent.
void	redo()
void	setSilent(boolean isSilent) Set if the document updates are silent.
void	undo()

Methods inherited from class javax.swing.undo.UndoManager

canRedo, canUndoOrRedo, discardAllEdits, editToBeRedone, editToBeUndone, end, getLimit, getRedoPresentationName, getUndoOrRedoPresentationName, getUndoPresentationName, redoTo, setLimit, toString, trimEdits, trimForLimit, undoableEditHappened, undoOrRedo, undoTo

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

SyntaxUndoManager

public SyntaxUndoManager()

Method Detail

setSilent

public void setSilent(boolean isSilent)

Set if the document updates are silent.

Parameters:

isSilent - true if the document is editable

isSilent

public boolean isSilent()

Return true if the document updates are silent.

Returns:

true if the document updates are silent

addEdit

public boolean addEdit(javax.swing.undo.UndoableEdit anEdit)

Specified by:

addEdit in interface javax.swing.undo.UndoableEdit

Overrides:

addEdit in class javax.swing.undo.UndoManager

addUndoManagerListener

public void addUndoManagerListener(SyntaxUndoManagerListener listener)

Add an UndoManager listener.

Parameters:

listener - the listener

undo

public void undo()

Specified by:

undo in interface javax.swing.undo.UndoableEdit

Overrides:

undo in class javax.swing.undo.UndoManager

redo

public void redo()

Specified by:

redo in interface javax.swing.undo.UndoableEdit

Overrides:

redo in class javax.swing.undo.UndoManager

getCountEdit

public int getCountEdit()

Return the edit count of the undo manager.

Returns:

the edit count

canUndo

public boolean canUndo()

Specified by:

canUndo in interface javax.swing.undo.UndoableEdit

Overrides:

canUndo in class javax.swing.undo.UndoManager