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

java.lang.Object
  ro.sync.exml.workspace.api.listeners.WSEditorPageChangedListener
      ro.sync.exml.workspace.api.listeners.WSEditorListener

@API(type=EXTENDABLE,
     src=PUBLIC)
public class WSEditorListener
extends WSEditorPageChangedListener

WS Editor listener. The listener is added to a WSEditor and receives different callbacks.

Since:

13

Field Summary

static int	SAVE_AS_OPERATION Operation type used to signal that an editor was saved as another resource.
static int	SAVE_OPERATION Operation type used to signal that an editor was saved.

Constructor Summary

WSEditorListener()

Method Summary

boolean	editorAboutToBeSavedVeto(int operationType) The editor is about to be saved.
void	editorSaved(int operationType) The editor was saved.

Methods inherited from class ro.sync.exml.workspace.api.listeners.WSEditorPageChangedListener

editorPageChanged

Methods inherited from class java.lang.Object

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

Field Detail

SAVE_OPERATION

public static final int SAVE_OPERATION

Operation type used to signal that an editor was saved.

See Also:

Constant Field Values

SAVE_AS_OPERATION

public static final int SAVE_AS_OPERATION

Operation type used to signal that an editor was saved as another resource.

See Also:

Constant Field Values

Constructor Detail

WSEditorListener

public WSEditorListener()

Method Detail

editorAboutToBeSavedVeto

public boolean editorAboutToBeSavedVeto(int operationType)

The editor is about to be saved.

Parameters:

operationType - The operation type. One of the constants SAVE_AS_OPERATION or SAVE_OPERATION.

Returns:

true to continue saving it, false to cancel the save operation.

editorSaved

public void editorSaved(int operationType)

The editor was saved.

Parameters:

operationType - The operation type. One of the constants SAVE_AS_OPERATION or SAVE_OPERATION.