Factor out the anchor prefix to easily allow switching to #!

client/web/search.dart

 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 library web.search;
 
 import 'dart:async';
 import 'dart:html';
 import 'app.dart';
 import 'package:dartdoc_viewer/item.dart';
@@ skipping 72 matching lines @@
       var parentRefId = target.parent.dataset['ref-id'];
       if (refId == null) refId = parentRefId;
     }
     if (refId == null || refId.isEmpty) {
       // If nothing is focused, use the first search result.
       refId = results.first.element;
     }
     var newLocation = new LinkableType(refId).location;
     var encoded = Uri.encodeFull(newLocation);
     viewer.handleLink(encoded);
-    window.history.pushState("#$encoded", viewer.title, "#$encoded");
+    window.history.pushState(locationPrefixed(encoded),
+        viewer.title, locationPrefixed(encoded));
     searchQuery = "";
     results.clear();
   }
 
   void enteredView() {
     super.enteredView();
 
     registerObserver('onfocus', Element.focusEvent
         .forTarget(this, useCapture: true).listen(onFocusCallback));
 
@@ skipping 39 matching lines @@
       event.preventDefault();
     } else if (event.keyCode == KeyCode.ESC) {
       searchQuery = "";
       searchBox.value = '';
       event.preventDefault();
     }
   }
 
   get searchBox => shadowRoot.querySelector('#q');
 }