| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.0"?> |
| |
| <plugin> |
| |
| <!-- EEF extensions --> |
| <extension point="org.eclipse.emf.edit.itemProviderAdapterFactories"> |
| <factory |
| uri="http://www.eclipse.org/emf/eef/mapping/settings/1.0.0" |
| class="org.eclipse.emf.eef.settings.providers.SettingsEEFAdapterFactory" |
| supportedTypes="org.eclipse.emf.eef.runtime.providers.PropertiesEditingProvider"/> |
| </extension> |
| <extension |
| point="org.eclipse.emf.eef.runtime.PropertiesEditionPartProvider"> |
| <PropertiesEditionPartProvider |
| providerClass="org.eclipse.emf.eef.mapping.providers.MappingPropertiesEditionPartProvider"> |
| </PropertiesEditionPartProvider> |
| </extension> |
| <extension |
| point="org.eclipse.emf.eef.runtime.PropertiesEditionPartProvider"> |
| <PropertiesEditionPartProvider |
| providerClass="org.eclipse.emf.eef.mapping.filters.providers.FiltersPropertiesEditionPartProvider"> |
| </PropertiesEditionPartProvider> |
| </extension> |
| <extension |
| point="org.eclipse.emf.eef.runtime.PropertiesEditionPartProvider"> |
| <PropertiesEditionPartProvider |
| providerClass="org.eclipse.emf.eef.mapping.navigation.providers.NavigationPropertiesEditionPartProvider"> |
| </PropertiesEditionPartProvider> |
| </extension> |
| <extension |
| point="org.eclipse.emf.eef.runtime.PropertiesEditionPartProvider"> |
| <PropertiesEditionPartProvider |
| providerClass="org.eclipse.emf.eef.mapping.settings.providers.SettingsPropertiesEditionPartProvider"> |
| </PropertiesEditionPartProvider> |
| </extension> |
| |
| <!-- Tabbed properties views extension --> |
| <extension |
| point="org.eclipse.ui.views.properties.tabbed.propertyContributor"> |
| <propertyContributor |
| contributorId="org.eclipse.emf.eef.properties" |
| labelProvider="org.eclipse.emf.eef.runtime.ui.utils.EEFLabelProvider"> |
| <propertyCategory |
| category="default"> |
| </propertyCategory> |
| <propertyCategory |
| category="extended"> |
| </propertyCategory> |
| <propertyCategory |
| category="advanced"> |
| </propertyCategory> |
| </propertyContributor> |
| </extension> |
| <extension |
| point="org.eclipse.ui.views.properties.tabbed.propertyTabs"> |
| <propertyTabs |
| contributorId="org.eclipse.emf.eef.properties"> |
| <propertyTab |
| id="Settings" |
| label="Settings" |
| category="default"> |
| </propertyTab> |
| |
| </propertyTabs> |
| </extension> |
| <extension |
| point="org.eclipse.ui.views.properties.tabbed.propertySections"> |
| <propertySections |
| contributorId="org.eclipse.emf.eef.properties"> |
| <propertySection |
| class="org.eclipse.emf.eef.mapping.settings.parts.forms.SettingsPropertiesEditionPartForm" |
| filter="org.eclipse.emf.eef.settings.providers.EReferenceViewerSettingsPropertiesEditionProvider$EditionFilter" |
| id="org.eclipse.emf.eef.settings.section.EReferenceViewerSettings" |
| tab="Settings"> |
| </propertySection> |
| </propertySections> |
| </extension> |
| </plugin> |