| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.0"?> |
| <plugin> |
| <extension-point id="applications" name="%applicationsName" schema="schema/applications.exsd"/> |
| <extension-point id="products" name="%productsName" schema="schema/products.exsd"/> |
| <extension-point id="adapters" name="%adaptersName" schema="schema/adapters.exsd"/> |
| <extension-point id="preferences" name="preferences" schema="schema/preferences.exsd"/> |
| <extension-point id="contentTypes" name="%contentTypesName" schema="schema/contentTypes.exsd"/> |
| |
| <extension id="platform-preferences" point="org.eclipse.core.runtime.preferences" name="platform-preferences"> |
| <scope name="configuration" class="org.eclipse.core.internal.preferences.ConfigurationPreferences"/> |
| <scope name="instance" class="org.eclipse.core.internal.preferences.InstancePreferences"/> |
| <scope name="default" class="org.eclipse.core.internal.preferences.DefaultPreferences"/> |
| </extension> |
| |
| <extension point="org.eclipse.core.runtime.contentTypes"> |
| <content-type id="text" name="%textContentTypeName" |
| priority="high" |
| file-extensions="txt"> |
| <describer class="org.eclipse.core.internal.content.TextContentDescriber"/> |
| </content-type> |
| <content-type id="xml" name="%xmlContentTypeName" |
| base-type="text" |
| priority="high" |
| file-extensions="xml" |
| default-charset="UTF-8"> |
| <describer class="org.eclipse.core.internal.content.XMLContentDescriber"/> |
| </content-type> |
| <!-- a placeholder for setups where JDT's official type is not available --> |
| <content-type id="properties" name="%propertiesContentTypeName" |
| base-type="text" |
| priority="low" |
| file-extensions="properties" |
| default-charset="ISO-8859-1"/> |
| </extension> |
| </plugin> |