When performing searches, keep only a single item in the browser history per page load. That is achieved by using window.location.replace instead of window.location.hash.
Also fix problems with back button on the sources tab. We need to change how the SearchStore interacts with the URL in there, but that is a story for another day :)
bernd
commented
9 years ago
When performing searches, keep only a single item in the browser history per page load. That is achieved by using
window.location.replaceinstead ofwindow.location.hash.Also fix problems with back button on the sources tab. We need to change how the
SearchStoreinteracts with the URL in there, but that is a story for another day :)Fixes #1404.