diff options
author | james | 2002-03-14 20:55:51 +0000 |
---|---|---|
committer | james | 2002-03-14 20:55:51 +0000 |
commit | 35a07ca9bfb3899056e001f9ad745b837ed6b041 (patch) | |
tree | dffe28eacbcd59517378be7aa5e793afd6e32cdf | |
parent | ada2614d1a760d9a0cd34ad55e12ebb9f6e3cde8 (diff) | |
download | eclipse.platform.team-35a07ca9bfb3899056e001f9ad745b837ed6b041.tar.gz eclipse.platform.team-35a07ca9bfb3899056e001f9ad745b837ed6b041.tar.xz eclipse.platform.team-35a07ca9bfb3899056e001f9ad745b837ed6b041.zip |
11131: hooking the text/binary extension point
-rw-r--r-- | bundles/org.eclipse.team.core/plugin.xml | 10 | ||||
-rw-r--r-- | bundles/org.eclipse.team.ui/plugin.xml | 10 |
2 files changed, 10 insertions, 10 deletions
diff --git a/bundles/org.eclipse.team.core/plugin.xml b/bundles/org.eclipse.team.core/plugin.xml index 7678eb2b5..575e5f67a 100644 --- a/bundles/org.eclipse.team.core/plugin.xml +++ b/bundles/org.eclipse.team.core/plugin.xml @@ -21,6 +21,16 @@ <extension-point id="fileTypes" name="File Types Registry"/> <extension-point id="ignore" name="Global Ignore Registry"/> +<!-- Define some example text extensions. This will be done + by other plugins later. --> + +<extension point="org.eclipse.team.core.fileTypes"> + <fileTypes extension="txt" type="text"/> + <fileTypes extension="java" type="text"/> + <fileTypes extension="properties" type="text"/> + <fileTypes extension="xml" type="text"/> +</extension> + <extension point="org.eclipse.core.resources.fileModificationValidator"> <fileModificationValidator class="org.eclipse.team.core.internal.FileModificationValidator"/> </extension> diff --git a/bundles/org.eclipse.team.ui/plugin.xml b/bundles/org.eclipse.team.ui/plugin.xml index ccd751de1..c9f74cb1e 100644 --- a/bundles/org.eclipse.team.ui/plugin.xml +++ b/bundles/org.eclipse.team.ui/plugin.xml @@ -21,16 +21,6 @@ <extension-point id="configurationWizards" name="Configuration Wizards"/> -<!-- Define some example text extensions. This will be done - by other plugins later. --> - -<extension point="org.eclipse.team.core.fileTypes"> - <fileTypes extension="txt" type="text"/> - <fileTypes extension="java" type="text"/> - <fileTypes extension="properties" type="text"/> - <fileTypes extension="xml" type="text"/> -</extension> - <!-- **************** PREFERENCES ******************* --> <extension point = "org.eclipse.ui.preferencePages"> |