ro.sync.exml.workspace.api.listeners
Class WSEditorChangeListener

java.lang.Object
  ro.sync.exml.workspace.api.listeners.WSEditorChangeListener

public class WSEditorChangeListener
extends Object

Notified when an editor is added, removed or the editor page is changed

*********************************
EXPERIMENTAL - Subject to change
*********************************

Please note that this API is not marked as final and it can change in one of the next versions of the application. If you have suggestions, comments about it, please let us know.

Since:

11.2

Constructor Summary

WSEditorChangeListener()

Method Summary

void	editorClosed(URL editorLocation) An editor was closed.
void	editorOpened(URL editorLocation) An editor was opened.
void	editorPageChanged(URL editorLocation) The current page for an editor has changed
void	editorSelected(URL editorLocation) An editor was selected in the tabbed pane

Methods inherited from class java.lang.Object

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

Constructor Detail

WSEditorChangeListener

public WSEditorChangeListener()

Method Detail

editorOpened

public void editorOpened(URL editorLocation)

An editor was opened.

Parameters:

editorLocation - The editor's location

editorClosed

public void editorClosed(URL editorLocation)

An editor was closed.

Parameters:

editorLocation - The editor's location

editorSelected

public void editorSelected(URL editorLocation)

An editor was selected in the tabbed pane

Parameters:

editorLocation - The editor's location

editorPageChanged

public void editorPageChanged(URL editorLocation)

The current page for an editor has changed

Parameters:

editorLocation - The editor's location