diff options
Diffstat (limited to 'org.eclipse.ui.editors/plugin.xml')
-rw-r--r-- | org.eclipse.ui.editors/plugin.xml | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/org.eclipse.ui.editors/plugin.xml b/org.eclipse.ui.editors/plugin.xml deleted file mode 100644 index 94b149990b6..00000000000 --- a/org.eclipse.ui.editors/plugin.xml +++ /dev/null @@ -1,36 +0,0 @@ -<?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> |