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 java.lang.Object

WS Editor page changed listener. Notified when an opened editor switches to another page.

Since:

12

Constructor Summary

WSEditorPageChangedListener()

Method Summary

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 Detail

WSEditorPageChangedListener

public WSEditorPageChangedListener()

Method Detail

editorPageChanged

public void editorPageChanged()

The current page for an editor has changed