| <?xml version="1.0" encoding="UTF-8"?> |
| <plugin |
| id="org.eclipse.ui.editors" |
| name="%pluginName" |
| version="2.1.0" |
| provider-name="%providerName" |
| class="org.eclipse.ui.internal.editors.text.EditorsPlugin"> |
| |
| <runtime> |
| <library name="editors.jar"> |
| <export name="*"/> |
| <packages prefixes="org.eclipse.ui.texteditor,org.eclipse.ui.editors.text,org.eclipse.ui.internal"/> |
| </library> |
| </runtime> |
| <requires> |
| <import plugin="org.eclipse.text"/> |
| <import plugin="org.eclipse.ui.views"/> |
| <import plugin="org.eclipse.ui.workbench"/> |
| <import plugin="org.eclipse.ui.workbench.texteditor"/> |
| <import plugin="org.eclipse.jface"/> |
| <import plugin="org.eclipse.jface.text"/> |
| <import plugin="org.eclipse.core.resources"/> |
| <import plugin="org.eclipse.update.core"/> |
| </requires> |
| |
| <extension |
| point="org.eclipse.ui.preferencePages"> |
| <page |
| name="%PreferencePages.TextEditor" |
| category="org.eclipse.ui.preferencePages.Editors" |
| class="org.eclipse.ui.internal.editors.text.TextEditorPreferencePage2" |
| id="org.eclipse.ui.preferencePages.TextEditor"> |
| </page> |
| </extension> |
| |
| </plugin> |