diff --git a/src/widgets/index.js b/src/widgets/index.js index 9109d17c8..a049eb0d2 100644 --- a/src/widgets/index.js +++ b/src/widgets/index.js @@ -994,8 +994,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") }