public interface CommandListener
Modifier and Type | Method and Description |
---|---|
void |
executed(Document doc,
Command c)
Called when the command is executed the very first time on a document.
|
void |
redone(Document doc,
Command c)
Called when the command has been re-executed after it has been undone.
|
void |
undone(Document doc,
Command c)
Called when the command has been undone on a document.
|
void executed(Document doc, Command c)
doc
- the document being changedc
- the command that just has been executedvoid undone(Document doc, Command c)
doc
- the document being changedc
- the command that just has been undoneCopyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.