Package ro.sync.exml.workspace.api.listeners

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 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

Modifier and Type	Method	Description
boolean	editorPageAboutToBeChangedVeto(String newPageID)	The current editing page (mode) is about to be changed.
void	editorPageChanged()	The current page for an editor has changed

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

WSEditorPageChangedListener

public WSEditorPageChangedListener()

Method Details

editorPageAboutToBeChangedVeto

public boolean editorPageAboutToBeChangedVeto(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