Gridarta Editor
net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions Class Reference

Implements undo and redo actions. More...

+ Collaboration diagram for net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions:

Public Member Functions

void addDocument (@NotNull final Document document)
 Adds a document. More...
 
void removeDocument (@NotNull final Document document)
 Removes a document. More...
 
void resetUndo (@NotNull final Document document)
 Forget all undo-able operations for a document. More...
 
void scriptEditRedo ()
 Action method for "redo". More...
 
void scriptEditUndo ()
 Action method for "undo". More...
 
void setCurrentDocument (@Nullable final Document currentDocument)
 Sets the current document. More...
 

Private Member Functions

UndoManager getCurrentUndoManager ()
 Returns the undo manager for the current document. More...
 
UndoManager getUndoManager (@NotNull final Document document)
 Returns the undo manager for a document. More...
 
void refresh ()
 Refreshes menu actions. More...
 

Private Attributes

final Action aRedo = ACTION_BUILDER.createAction(true, "scriptEditRedo", this)
 Action called for "redo". More...
 
final Action aUndo = ACTION_BUILDER.createAction(true, "scriptEditUndo", this)
 Action called for "undo". More...
 
Document currentDocument
 The currently active document. More...
 
final Map< Document, UndoManager > undo = new HashMap<>()
 Records an UndoManager for each known Document. More...
 
final UndoableEditListener undoableEditListener
 The UndoableEditListener to detect document changes. More...
 

Static Private Attributes

static final ActionBuilder ACTION_BUILDER = ActionBuilderFactory.getInstance().getActionBuilder("net.sf.gridarta")
 Action Builder. More...
 

Detailed Description

Implements undo and redo actions.

Author
Andreas Kirschbaum

Definition at line 42 of file ScriptEditUndoActions.java.

Member Function Documentation

◆ addDocument()

void net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.addDocument ( @NotNull final Document  document)

Adds a document.

Parameters
documentthe document to add

Definition at line 88 of file ScriptEditUndoActions.java.

References net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.undo, and net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.undoableEditListener.

Referenced by net.sf.gridarta.textedit.scripteditor.ScriptEditView.addTab().

+ Here is the caller graph for this function:

◆ getCurrentUndoManager()

UndoManager net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.getCurrentUndoManager ( )
private

Returns the undo manager for the current document.

Returns
the undo manager for the current document, or
null
if no current document exists

Definition at line 198 of file ScriptEditUndoActions.java.

References net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.currentDocument, and net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.getUndoManager().

Referenced by net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.refresh(), net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.scriptEditRedo(), and net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.scriptEditUndo().

+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ getUndoManager()

UndoManager net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.getUndoManager ( @NotNull final Document  document)
private

Returns the undo manager for a document.

Parameters
documentthe document
Returns
the undo manager for
document

Definition at line 186 of file ScriptEditUndoActions.java.

References net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.undo.

Referenced by net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.getCurrentUndoManager(), and net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.resetUndo().

+ Here is the caller graph for this function:

◆ refresh()

◆ removeDocument()

void net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.removeDocument ( @NotNull final Document  document)

◆ resetUndo()

void net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.resetUndo ( @NotNull final Document  document)

Forget all undo-able operations for a document.

Parameters
documentthe document

Definition at line 111 of file ScriptEditUndoActions.java.

References net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.getUndoManager().

Referenced by net.sf.gridarta.textedit.scripteditor.ScriptEditView.addTab().

+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ scriptEditRedo()

void net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.scriptEditRedo ( )

◆ scriptEditUndo()

void net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.scriptEditUndo ( )

◆ setCurrentDocument()

void net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.setCurrentDocument ( @Nullable final Document  currentDocument)

Member Data Documentation

◆ ACTION_BUILDER

final ActionBuilder net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.ACTION_BUILDER = ActionBuilderFactory.getInstance().getActionBuilder("net.sf.gridarta")
staticprivate

◆ aRedo

final Action net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.aRedo = ACTION_BUILDER.createAction(true, "scriptEditRedo", this)
private

Action called for "redo".

Definition at line 60 of file ScriptEditUndoActions.java.

Referenced by net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.refresh().

◆ aUndo

final Action net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.aUndo = ACTION_BUILDER.createAction(true, "scriptEditUndo", this)
private

Action called for "undo".

Definition at line 54 of file ScriptEditUndoActions.java.

Referenced by net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.refresh().

◆ currentDocument

Document net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.currentDocument
private

◆ undo

final Map<Document, UndoManager> net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.undo = new HashMap<>()
private

◆ undoableEditListener

final UndoableEditListener net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.undoableEditListener
private
Initial value:
= e -> {
getUndoManager((Document) e.getSource()).addEdit(e.getEdit());
}

The UndoableEditListener to detect document changes.

The same instance is used for all documents.

Definition at line 79 of file ScriptEditUndoActions.java.

Referenced by net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.addDocument(), and net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.removeDocument().


The documentation for this class was generated from the following file:
net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.getUndoManager
UndoManager getUndoManager(@NotNull final Document document)
Returns the undo manager for a document.
Definition: ScriptEditUndoActions.java:186
net.sf.gridarta.textedit.scripteditor.ScriptEditUndoActions.refresh
void refresh()
Refreshes menu actions.
Definition: ScriptEditUndoActions.java:149