Bug #3634
Updated by Tom Clegg over 9 years ago
HTML5 allows us to store state in the browser's history stack.
* Use replaceState() when changing page/tab content.
* When switching tabs, use pushState() or replaceState() and store "which is the current tab" in the history data.
* Listen to popstate events. Copy latest page content from the history data to the DOM.
Workbench already loads History.js, which offers compatibility with HTML4 browsers. https://github.com/browserstate/history.js