public class ScriptEditUndoActions
extends java.lang.Object
Constructor and Description |
---|
ScriptEditUndoActions() |
Modifier and Type | Method and Description |
---|---|
void |
addDocument(@NotNull javax.swing.text.Document document)
Adds a document.
|
void |
removeDocument(@NotNull javax.swing.text.Document document)
Removes a document.
|
void |
resetUndo(@NotNull javax.swing.text.Document document)
Forget all undo-able operations for a document.
|
void |
scriptEditRedo()
Action method for "redo".
|
void |
scriptEditUndo()
Action method for "undo".
|
void |
setCurrentDocument(@Nullable javax.swing.text.Document currentDocument)
Sets the current document.
|
public void addDocument(@NotNull @NotNull javax.swing.text.Document document)
document
- the document to addpublic void removeDocument(@NotNull @NotNull javax.swing.text.Document document)
document
- the document to removepublic void resetUndo(@NotNull @NotNull javax.swing.text.Document document)
document
- the document@ActionMethod public void scriptEditUndo()
@ActionMethod public void scriptEditRedo()
public void setCurrentDocument(@Nullable @Nullable javax.swing.text.Document currentDocument)
currentDocument
- the current document to set