public class SiGMLUndoController
extends java.lang.Object
Constructor and Description |
---|
SiGMLUndoController(javax.swing.JTextArea tsigml)
Constructs a new SiGML undo controller for the given SiGML text area.
|
Modifier and Type | Method and Description |
---|---|
void |
beginSupportForNewSiGML()
Set up a new edit/undo data for a new SiGML text.
|
void |
endSupportForOldSiGML()
Discards edit/undo data for the old SiGML text prior to
its being discarded.
|
void |
setCleanSiGMLText()
Marks the current status of the present SiGML text as clean,
achieved by discarding its undoable edit list and creating a new
empty edit list for it.
|
boolean |
sigmlTextIsDirty()
Tests whether the current SiGML text is dirty, that is, whether
it has been edited since it was last saved to or read from its
underlying file.
|
public SiGMLUndoController(javax.swing.JTextArea tsigml)
public boolean sigmlTextIsDirty()
public void setCleanSiGMLText()
public void endSupportForOldSiGML()
public void beginSupportForNewSiGML()