Java Reference
In-Depth Information
10.4.14 EditorService
The EditorService provides a means by which to open editors using the pri-
ority and execution strategy facilities of the Service layer. It's a simple API, as
seen in Figure 10-38, that has no implementation example in the runtime or gen-
erated diagram code.
Figure 10-38
EditorService
EditorProvider Extension-Point
Identifier: org.eclipse.gmf.runtime.common.ui.services.
editorProviders
Description: This extension-point facilitates the configuration of providers
for the EditorService ( org.eclipse.gmf.runtime.common.ui.serv-
ices.editor.EditorService ). Using this extension-point, providers are reg-
istered to manipulate editors, such as handling how to open an editor on a given
input.
Configuration markup:
<!ELEMENT extension (EditorProvider)>
<!ELEMENT EditorProvider (Priority , Policy?)>
<!ATTLIST EditorProvider
class CDATA #REQUIRED>
Search WWH ::




Custom Search