| Index: client/web/search.dart
|
| diff --git a/client/web/search.dart b/client/web/search.dart
|
| index cd6be62e716e482a504b8f20807856480a85b737..b1b0431fb48a70953126d4dc8edeab2663b19944 100644
|
| --- a/client/web/search.dart
|
| +++ b/client/web/search.dart
|
| @@ -90,7 +90,8 @@ class Search extends PolymerElement {
|
| 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();
|
| }
|
|
|