@API(type=EXTENDABLE,
src=PUBLIC)
public class WSEditorPageChangedListener
extends java.lang.Object
Constructor and Description |
---|
WSEditorPageChangedListener() |
Modifier and Type | Method and Description |
---|---|
boolean |
editorPageAboutToBeChangedVeto(java.lang.String newPageID)
The current editing page (mode) is about to be changed.
|
void |
editorPageChanged()
The current page for an editor has changed
|
public boolean editorPageAboutToBeChangedVeto(java.lang.String newPageID)
newPageID
- The ID of the page to which the user switched, one of the constant fields:
EditorPageConstants.PAGE_TEXT
, EditorPageConstants.PAGE_AUTHOR
, EditorPageConstants.PAGE_GRID
,
EditorPageConstants.PAGE_DESIGN
, EditorPageConstants.PAGE_DITA_MAP
true
to continue switching to the page, false to cancel the switch operation.
The switch operation cannot be vetoed in the Oxygen Plugin for Eclipse.public void editorPageChanged()
© Copyright SyncRO Soft SRL 2002 - 2015. All rights reserved.