Editors Providers Extension Point
Identifier:
org.eclipse.gmf.runtime.common.ui.services.editorProviders
Description:
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.
Configuration Markup:
<!ELEMENT extension (
EditorProvider)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED
>
-
point - The identifier of the extension point, i.e. org.eclipse.gmf.runtime.common.ui.services.editorProviders.
-
id - The identifier of the extension, e.g. editorProviders.
-
name - The name of the extension, e.g. %ext.editorProviders.
<!ELEMENT EditorProvider (
Priority ,
Policy?)>
<!ATTLIST EditorProvider
class CDATA #REQUIRED
>
-
class - Fully qualified string containing the provider class.
<!ELEMENT Priority EMPTY>
<!ATTLIST Priority
name (Lowest|Low|Medium|High|Highest)
>
-
name - The provider priority as a String, which is one of Lowest, Low, Medium, High, or Highest.
<!ELEMENT Policy EMPTY>
<!ATTLIST Policy
class CDATA #REQUIRED
>
-
class - Fully qualified string containing the provider class.
Examples:
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>
Copyright (c) 2004, 2005 IBM Corporation and others.
All rights reserved. This program and the accompanying materials
are made available under the terms of the Eclipse Public License v1.0
which accompanies this distribution, and is available at
https://www.eclipse.org/legal/epl-v10.html