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