| Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/search/internal/ui/TextSearchPage.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/search/internal/ui/TextSearchPage.java (revision 30332)
|
| +++ editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/search/internal/ui/TextSearchPage.java (working copy)
|
| @@ -195,6 +195,7 @@
|
| searchResult.getMatchCount()));
|
| if (fileSearchPage != null) {
|
| fileSearchPage.setInput(searchResult, fileSearchPage);
|
| + fileSearchPage.setViewPart(searchView);
|
| }
|
| return Status.OK_STATUS;
|
| }
|
|
|