File search page context menu fix (dartbug.com/15127).

editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/search/internal/ui/SearchView.java

Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/search/internal/ui/SearchView.java
===================================================================
--- editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/search/internal/ui/SearchView.java	(revision 30332)
+++ editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/search/internal/ui/SearchView.java	(working copy)
@@ -15,10 +15,13 @@
 package com.google.dart.tools.search.internal.ui;
 
 import com.google.common.annotations.VisibleForTesting;
+import com.google.dart.tools.search.ui.ISearchResultPage;
+import com.google.dart.tools.search.ui.ISearchResultViewPart;
 import com.google.dart.tools.ui.DartToolsPlugin;
 import com.google.dart.tools.ui.internal.util.GridLayoutFactory;
 import com.google.dart.tools.ui.internal.util.SWTUtil;
 
+import org.eclipse.jface.action.IMenuManager;
 import org.eclipse.jface.preference.IPreferenceStore;
 import org.eclipse.jface.util.IPropertyChangeListener;
 import org.eclipse.jface.util.PropertyChangeEvent;
@@ -37,7 +40,7 @@
  * 
  * @coverage dart.editor.ui.search
  */
-public class SearchView extends ViewPart {
+public class SearchView extends ViewPart implements ISearchResultViewPart {
   public static final String ID = "com.google.dart.tools.SearchView";
   public static final String SEARCH_MARKER = "com.google.dart.tools.search.searchmarker";
 
@@ -87,6 +90,17 @@
     super.dispose();
   }
 
+  @Override
+  public void fillContextMenu(IMenuManager menuManager) {
+    // No contributions
+  }
+
+  @Override
+  public ISearchResultPage getActivePage() {
+    // Unused
+    return null;
+  }
+
   /**
    * @return the time when query was last time finished.
    */
@@ -148,6 +162,11 @@
   }
 
   @Override
+  public void updateLabel() {
+    // unused
+  }
+
+  @Override
   protected void setContentDescription(String description) {
     super.setContentDescription(description);
   }