Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--org.eclipse.search/plugin.properties4
-rw-r--r--org.eclipse.search/plugin.xml2
-rw-r--r--org.eclipse.search/search/org/eclipse/search/internal/ui/WorkInProgressPreferencePage.java5
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) {

Back to the top