| 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; | 
| } | 
|  |