diff options
author | Dirk Baeumer | 2004-04-13 08:18:32 +0000 |
---|---|---|
committer | Dirk Baeumer | 2004-04-13 08:18:32 +0000 |
commit | 1acf79cd877363c20e5bdd3473a118a5200020eb (patch) | |
tree | 3c24998af869abfb43a986251a2b3841a5e9b2d7 /org.eclipse.search/plugin.xml | |
parent | cde9c24d83b4ba58677c39379d21f854941aee98 (diff) | |
download | eclipse.platform.text-1acf79cd877363c20e5bdd3473a118a5200020eb.tar.gz eclipse.platform.text-1acf79cd877363c20e5bdd3473a118a5200020eb.tar.xz eclipse.platform.text-1acf79cd877363c20e5bdd3473a118a5200020eb.zip |
Switch to new search by default
Diffstat (limited to 'org.eclipse.search/plugin.xml')
-rw-r--r-- | org.eclipse.search/plugin.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/org.eclipse.search/plugin.xml b/org.eclipse.search/plugin.xml index 74558e27637..d53645da68c 100644 --- a/org.eclipse.search/plugin.xml +++ b/org.eclipse.search/plugin.xml @@ -206,11 +206,13 @@ class="org.eclipse.search.internal.ui.SearchPreferencePage" category="org.eclipse.ui.preferencePages.Workbench"> </page> +<!--- <page name="%WorkInProgressPreferencePage.label" id="org.eclipse.search.preferences.WorkInProgressPreferencePage" class="org.eclipse.search.internal.ui.WorkInProgressPreferencePage" category="org.eclipse.search.preferences.SearchPreferencePage"> </page> +--> </extension> <extension |