diff options
| -rw-r--r-- | org.eclipse.search/plugin.properties | 4 | ||||
| -rw-r--r-- | org.eclipse.search/plugin.xml | 2 | ||||
| -rw-r--r-- | org.eclipse.search/search/org/eclipse/search/internal/ui/WorkInProgressPreferencePage.java | 5 |
3 files changed, 7 insertions, 4 deletions
diff --git a/org.eclipse.search/plugin.properties b/org.eclipse.search/plugin.properties index 79ca87ba4..d06fdf366 100644 --- a/org.eclipse.search/plugin.properties +++ b/org.eclipse.search/plugin.properties @@ -27,8 +27,8 @@ openSearchDialogAction.label= Se&arch... openSearchDialogAction.tooltip= Search fileSearch= File Search -searchResultViewName= Search -newSearchResultViewName= New Search +searchResultViewName= Old Search +newSearchResultViewName= Search ResourcenameSorter.label= &Name ResourcenameSorter.tooltip= Sort by Resource Name diff --git a/org.eclipse.search/plugin.xml b/org.eclipse.search/plugin.xml index 74558e276..d53645da6 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 diff --git a/org.eclipse.search/search/org/eclipse/search/internal/ui/WorkInProgressPreferencePage.java b/org.eclipse.search/search/org/eclipse/search/internal/ui/WorkInProgressPreferencePage.java index 5ca7f30bb..2f1b6c969 100644 --- a/org.eclipse.search/search/org/eclipse/search/internal/ui/WorkInProgressPreferencePage.java +++ b/org.eclipse.search/search/org/eclipse/search/internal/ui/WorkInProgressPreferencePage.java @@ -41,8 +41,9 @@ public class WorkInProgressPreferencePage extends FieldEditorPreferencePage impl // do nothing } public static boolean useNewSearch() { - IPreferenceStore store= SearchPlugin.getDefault().getPreferenceStore(); - return store.getBoolean(SEARCH_IN_BACKGROUND); + return true; + // IPreferenceStore store= SearchPlugin.getDefault().getPreferenceStore(); + // return store.getBoolean(SEARCH_IN_BACKGROUND); } public static void initDefaults(IPreferenceStore store) { |