@API(type=EXTENDABLE, src=PUBLIC) public class WSEditorListener extends WSEditorPageChangedListener
Modifier and Type | Field and Description |
---|---|
static int |
SAVE_AS_OPERATION
Operation type used to signal that an editor was saved as another resource.
|
static int |
SAVE_OPERATION
Operation type used to signal that an editor was saved.
|
Constructor and Description |
---|
WSEditorListener() |
Modifier and Type | Method and Description |
---|---|
boolean |
editorAboutToBeSavedVeto(int operationType)
The editor is about to be saved.
|
void |
editorSaved(int operationType)
The editor was saved.
|
editorPageChanged
public static final int SAVE_OPERATION
public static final int SAVE_AS_OPERATION
public boolean editorAboutToBeSavedVeto(int operationType)
operationType
- The operation type. One of the constants SAVE_AS_OPERATION
or SAVE_OPERATION
.true
to continue saving it, false to cancel the save operation.public void editorSaved(int operationType)
operationType
- The operation type. One of the constants SAVE_AS_OPERATION
or SAVE_OPERATION
.© Copyright SyncRO Soft SRL 2002 - 2014. All rights reserved.