Editors Providers Extension Point

org.eclipse.gmf.runtime.common.ui.services.editorProviders

This extension point facilitates the configuration of providers for the editor service (org.eclipse.gmf.runtime.common.ui.services.editor.EditorService). Using this extension point, providers are registered to manipulate editors, such as handling how to open an editor on a given input.

<!ELEMENT extension (EditorProvider)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT EditorProvider (Priority , Policy?)>

<!ATTLIST EditorProvider

class CDATA #REQUIRED>


<!ELEMENT Priority EMPTY>

<!ATTLIST Priority

name (Lowest|Low|Medium|High|Highest) >


<!ELEMENT Policy EMPTY>

<!ATTLIST Policy

class CDATA #REQUIRED>


Following is an example of an editor provider extension:

   

<extension id=

"editorProviders"

name=

"%ext.editorProviders"

point=

"org.eclipse.gmf.runtime.common.ui.services.editorProviders"

>

<EditorProvider class=

"org.eclipse.test.project.providers.MyDiagramEditorProvider"

>

<Priority name=

"Lowest"

>

</Priority>

</EditorProvider>

</extension>

The value of the class attribute must represent a subclass of org.eclipse.gmf.runtime.common.core.service.AbstractProvider that implements org.eclipse.gmf.runtime.common.ui.services.editor.IEditorProvider.