client search code: stop event propagation when navigating (#3185)

Fixes #3172

Author: kevmoo

lib/resources/docs.dart.js

@@ -355,6 +355,7 @@ void initializeSearch(
         var href = suggestionElements[selectingElement].dataset['href'];
         if (href != null) {
           window.location.assign('$_htmlBase$href');
+          event.stopPropagation();
         }
         return;
       }
@@ -365,6 +366,8 @@ void initializeSearch(
         var search = Uri.parse(relativePath());
         search = search.replace(queryParameters: {'q': input});
         window.location.assign(search.toString());
+        event.stopPropagation();
+        return;
       }
     }
 

lib/resources/docs.dart.js.map

@@ -1 +1 @@
-601162D8EAA11155F46C514701DFD837
+8625029CD25C5F7BE8E31E28C5B97F97