@API(type=EXTENDABLE, src=PUBLIC) public class WSEditorPageChangedListener extends java.lang.Object
Constructor and Description |
---|
WSEditorPageChangedListener() |
Modifier and Type | Method and Description |
---|---|
void |
editorPageChanged()
The current page for an editor has changed
|
© Copyright Syncro Soft SRL 2002 - 2014.