@API(type=NOT_EXTENDABLE, src=PUBLIC) public interface PluginWorkspace extends Workspace
Modifier and Type | Field and Description |
---|---|
static int |
DITA_MAPS_EDITING_AREA
The DITA Maps editing area
|
static int |
MAIN_EDITING_AREA
The main editing area in Oxygen
|
Modifier and Type | Method and Description |
---|---|
void |
addEditorChangeListener(WSEditorChangeListener editorListener,
int editingArea)
Add listener for editor related events(for example editor opened, closed, page changed).
|
java.net.URL[] |
getAllEditorLocations(int editingArea)
Get all the editor locations.
|
WSEditor |
getCurrentEditorAccess(int editingArea)
Get access to the current selected editor.
|
WSEditor |
getEditorAccess(java.net.URL location,
int editingArea)
Find an editor access by location
|
WSOptionsStorage |
getOptionsStorage()
This interface can be used to save and persist in the Oxygen preferences user-defined keys and values.
|
UtilAccess |
getUtilAccess()
Get access to utility methods.
|
XMLUtilAccess |
getXMLUtilAccess()
Access to XML utilities.
|
void |
removeEditorChangeListener(WSEditorChangeListener editorListener,
int editingArea)
Remove listener for editor related events.
|
void |
saveGlobalOptions()
Save the global application options to their default persistence location.
|
void |
setDITAKeyDefinitionManager(KeyDefinitionManager keyDefitionManager)
By default key definitions are gathered from DITA Maps opened in the DITA Maps Manager.
|
void |
setGlobalObjectProperty(java.lang.String key,
java.lang.Object value)
Sets a global property in the Oxygen common preferences.
|
close, closeAll, createNewEditor, delete, isStandalone, open, open, open, refreshInProject, saveAll, setParentFrameTitle
chooseDirectory, chooseFile, chooseFile, chooseFile, chooseFiles, chooseURL, chooseURL, chooseURLPath, clearImageCache, createJavaProcess, getDataSourceAccess, getLicenseInformationProvider, getParentFrame, getPreferencesDirectory, getUserInterfaceLanguage, getVersion, openInExternalApplication, showConfirmDialog, showConfirmDialog, showErrorMessage, showInformationMessage, showStatusMessage
static final int MAIN_EDITING_AREA
static final int DITA_MAPS_EDITING_AREA
java.net.URL[] getAllEditorLocations(int editingArea)
editingArea
- One of the constants in this class:
MAIN_EDITING_AREA
- for the editors in the main Oxygen workspace area.
DITA_MAPS_EDITING_AREA
- for the editors in the DITA Maps Manager view workspace area.
WSEditor getEditorAccess(java.net.URL location, int editingArea)
location
- The editor locationeditingArea
- One of the constants in this class:
MAIN_EDITING_AREA
- for the editors in the main Oxygen workspace area.
DITA_MAPS_EDITING_AREA
- for the editors in the DITA Maps Manager view workspace area.
null
if no editor found with that location URL.WSEditor getCurrentEditorAccess(int editingArea)
editingArea
- One of the constants in this class:
MAIN_EDITING_AREA
- for the editors in the main Oxygen workspace area.
DITA_MAPS_EDITING_AREA
- for the editors in the DITA Maps Manager view workspace area.
null
if no editor is opened.XMLUtilAccess getXMLUtilAccess()
UtilAccess getUtilAccess()
void addEditorChangeListener(WSEditorChangeListener editorListener, int editingArea)
editingArea
- One of the constants in this class:
MAIN_EDITING_AREA
- for the editors in the main Oxygen workspace area.
DITA_MAPS_EDITING_AREA
- for the editors in the DITA Maps Manager view workspace area.
editorListener
- The listener notified when an editor is added, removed or the editor page is changed.void removeEditorChangeListener(WSEditorChangeListener editorListener, int editingArea)
editingArea
- One of the constants in this class:
MAIN_EDITING_AREA
- for the editors in the main Oxygen workspace area.
DITA_MAPS_EDITING_AREA
- for the editors in the DITA Maps Manager view workspace area.
editorListener
- The listener notified when an editor is added, removed or the editor page is changed.WSOptionsStorage getOptionsStorage()
void setDITAKeyDefinitionManager(KeyDefinitionManager keyDefitionManager)
keyDefitionManager
- The key definition managervoid setGlobalObjectProperty(java.lang.String key, java.lang.Object value)
key
- The key from the Oxygen options.value
- Value for the key.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.
void saveGlobalOptions() throws java.io.IOException
java.io.IOException
- If the save operation fails.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.
© Copyright SyncRO Soft SRL 2002 - 2014. All rights reserved.