diff options
| author | Dani Megert | 2001-12-04 14:58:51 +0000 |
|---|---|---|
| committer | Dani Megert | 2001-12-04 14:58:51 +0000 |
| commit | e769e5bd07635d93a5a31b63da436c0d4026394b (patch) | |
| tree | e8083a85bb63d95115371ce35d5f15bdb370c8e1 | |
| parent | f5eb7efd532d9cd0955b33b9e28f6dea85cddf04 (diff) | |
| download | eclipse.platform.text-e769e5bd07635d93a5a31b63da436c0d4026394b.tar.gz eclipse.platform.text-e769e5bd07635d93a5a31b63da436c0d4026394b.tar.xz eclipse.platform.text-e769e5bd07635d93a5a31b63da436c0d4026394b.zip | |
Fixed bug 6435: Search again should move search to top of MRU list
| -rw-r--r-- | org.eclipse.search/search/org/eclipse/search/internal/ui/SearchManager.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/org.eclipse.search/search/org/eclipse/search/internal/ui/SearchManager.java b/org.eclipse.search/search/org/eclipse/search/internal/ui/SearchManager.java index b4a43219c3d..ed6626af4dc 100644 --- a/org.eclipse.search/search/org/eclipse/search/internal/ui/SearchManager.java +++ b/org.eclipse.search/search/org/eclipse/search/internal/ui/SearchManager.java @@ -120,6 +120,7 @@ public class SearchManager implements IResourceChangeListener { void setCurrentSearch(final Search search) {
if (fCurrentSearch == search)
return;
+
SearchPlugin.getWorkspace().removeResourceChangeListener(this);
WorkspaceModifyOperation op= new WorkspaceModifyOperation() {
protected void execute(IProgressMonitor monitor) throws CoreException {
@@ -143,6 +144,9 @@ public class SearchManager implements IResourceChangeListener { // enable auto-building again
SearchPlugin.setAutoBuilding(true);
}
+
+ getPreviousSearches().remove(search);
+ getPreviousSearches().addFirst(search);
}
void internalSetCurrentSearch(final Search search, IProgressMonitor monitor) {
|