Class WSEditorListener
java.lang.Object
ro.sync.exml.workspace.api.listeners.WSEditorPageChangedListener
ro.sync.exml.workspace.api.listeners.WSEditorListener
WS Editor listener. The listener is added to a WSEditor and receives different callbacks.
- Since:
- 13
-
Field Summary
FieldsModifier and TypeFieldDescriptionstatic final int
Operation type used to signal that an editor was saved as another resource.static final int
Operation type used to signal that an editor was saved. -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
The editor document type-specific functionality was refreshed.boolean
editorAboutToBeClosedVeto
(URL editorLocation) The editor is about to be closed.boolean
editorAboutToBeSavedVeto
(int operationType) The editor is about to be saved.void
editorReloaded
(URL editorURL) The content of the document has been reloaded.void
editorSaved
(int operationType) The editor was saved.Methods inherited from class ro.sync.exml.workspace.api.listeners.WSEditorPageChangedListener
editorPageAboutToBeChangedVeto, editorPageChanged
-
Field Details
-
SAVE_OPERATION
public static final int SAVE_OPERATIONOperation type used to signal that an editor was saved.- See Also:
-
SAVE_AS_OPERATION
public static final int SAVE_AS_OPERATIONOperation type used to signal that an editor was saved as another resource.- See Also:
-
-
Constructor Details
-
WSEditorListener
public WSEditorListener()
-
-
Method Details
-
editorAboutToBeSavedVeto
public boolean editorAboutToBeSavedVeto(int operationType) The editor is about to be saved.- Parameters:
operationType
- The operation type. One of the constantsSAVE_AS_OPERATION
orSAVE_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 constantsSAVE_AS_OPERATION
orSAVE_OPERATION
.
-
documentTypeExtensionsReconfigured
public void documentTypeExtensionsReconfigured()The editor document type-specific functionality was refreshed. For example after a document is opened, the application will re-configure the framework-specific toolbar. After this, the callback will be received. So if you are using code which for example tries to add a listener to one of the actions on the framework-specific toolbar, the code should re-add the listener when the callback is received.- Since:
- 18
-
editorAboutToBeClosedVeto
The editor is about to be closed. Decide if the closing should proceed or not.
This method is not called from the Eclipse plug-in. It works only with the stand-alone application.- Parameters:
editorLocation
- The URL of the editor.- Returns:
true
to continue closing it,false
to cancel the closing of the editor.- Since:
- 19.1
-
editorReloaded
The content of the document has been reloaded. Probably F5 was pressed.- Parameters:
editorURL
- The URL for which the content has been reloaded.- Since:
- 22
-