From 013223388de16566a1a85a6b654fb614196a4d71 Mon Sep 17 00:00:00 2001 From: Melvin Carvalho Date: Tue, 6 Sep 2016 00:23:00 +0200 Subject: [PATCH] Add pushstate --- lib/widgets.js | 2 ++ 1 file changed, 2 insertions(+) diff --git a/lib/widgets.js b/lib/widgets.js index e0329d841..23627a3bf 100644 --- a/lib/widgets.js +++ b/lib/widgets.js @@ -877,8 +877,10 @@ UI.widgets.openHrefInOutlineMode = function (e) { // dump('click on link to:' +uri+'\n') if (UI.outline){ UI.outline.GotoSubject(UI.store.sym(uri), true, undefined, true, undefined) + if ( history.pushState ) history.pushState( {}, uri, uri ); } else if (window && window.UI && window.UI.outline ){ window.UI.outline.GotoSubject(UI.store.sym(uri), true, undefined, true, undefined) + if ( history.pushState ) history.pushState( {}, uri, uri ); } else { console.log("ERROR: Can't access outline manager in this config") }