Class WSEditorPageChangedListener
- java.lang.Object
-
- ro.sync.exml.workspace.api.listeners.WSEditorPageChangedListener
-
- Direct Known Subclasses:
WSEditorListener
@API(type=EXTENDABLE, src=PUBLIC) public class WSEditorPageChangedListener extends java.lang.Object
WS Editor page changed listener. Notified when an opened editor switches to another page.- Since:
- 12
-
-
Constructor Summary
Constructors Constructor Description WSEditorPageChangedListener()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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
-
-
-
Method Detail
-
editorPageAboutToBeChangedVeto
public boolean editorPageAboutToBeChangedVeto(java.lang.String newPageID)
The current editing page (mode) is about to be changed.- Parameters:
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
- Returns:
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.- Since:
- 16.1
-
editorPageChanged
public void editorPageChanged()
The current page for an editor has changed
-
-