diff options
author | Dani Megert | 2007-08-31 09:32:13 +0000 |
---|---|---|
committer | Dani Megert | 2007-08-31 09:32:13 +0000 |
commit | 38011479b955eaca812f61b9b7d5d1fdc1dbaf08 (patch) | |
tree | bb0c2299a128d9c3cf6a1566a4689860e5be454b | |
parent | 255ea18a88ea5b9b34a3467c22e68f79d4d597fa (diff) | |
download | eclipse.platform.text-38011479b955eaca812f61b9b7d5d1fdc1dbaf08.tar.gz eclipse.platform.text-38011479b955eaca812f61b9b7d5d1fdc1dbaf08.tar.xz eclipse.platform.text-38011479b955eaca812f61b9b7d5d1fdc1dbaf08.zip |
Released workaround for bug 188587: [FastView] Search view stepping in fast view mode broken
-rw-r--r-- | org.eclipse.search/META-INF/MANIFEST.MF | 2 | ||||
-rw-r--r-- | org.eclipse.search/search/org/eclipse/search/internal/ui/text/EditorOpener.java | 5 |
2 files changed, 5 insertions, 2 deletions
diff --git a/org.eclipse.search/META-INF/MANIFEST.MF b/org.eclipse.search/META-INF/MANIFEST.MF index 57529d3b469..519ca2ada2c 100644 --- a/org.eclipse.search/META-INF/MANIFEST.MF +++ b/org.eclipse.search/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: %pluginName Bundle-SymbolicName: org.eclipse.search; singleton:=true -Bundle-Version: 3.3.0.qualifier +Bundle-Version: 3.3.1.qualifier Bundle-Activator: org.eclipse.search.internal.ui.SearchPlugin Bundle-Vendor: %providerName Bundle-Localization: plugin diff --git a/org.eclipse.search/search/org/eclipse/search/internal/ui/text/EditorOpener.java b/org.eclipse.search/search/org/eclipse/search/internal/ui/text/EditorOpener.java index a391963bbbe..4983eb879ba 100644 --- a/org.eclipse.search/search/org/eclipse/search/internal/ui/text/EditorOpener.java +++ b/org.eclipse.search/search/org/eclipse/search/internal/ui/text/EditorOpener.java @@ -18,6 +18,7 @@ import org.eclipse.ui.IEditorPart; import org.eclipse.ui.IEditorReference; import org.eclipse.ui.IEditorRegistry; import org.eclipse.ui.IReusableEditor; +import org.eclipse.ui.IViewReference; import org.eclipse.ui.IWorkbenchPage; import org.eclipse.ui.PartInitException; import org.eclipse.ui.ide.IDE; @@ -72,7 +73,9 @@ public class EditorOpener { if (canBeReused) { boolean showsSameInputType= reusedEditorRef.getId().equals(editorId); if (!showsSameInputType) { - page.closeEditors(new IEditorReference[] { reusedEditorRef }, false); + IViewReference searchViewRef= page.findViewReference(NewSearchUI.SEARCH_VIEW_ID); + if (searchViewRef == null || !searchViewRef.isFastView()) + page.closeEditors(new IEditorReference[] { reusedEditorRef }, false); fReusedEditor= null; } else { editor= reusedEditorRef.getEditor(true); |