diff --git a/src/resources/js/json-docs.js b/src/resources/js/json-docs.js index 2967be1..c0f6d09 100644 --- a/src/resources/js/json-docs.js +++ b/src/resources/js/json-docs.js @@ -22,6 +22,12 @@ $.get("/api/docs/config"+configPath, function(json) { $(''+pathComponents[i]+'').appendTo($bc); } + // re-trigger the URL fragment if any, to scroll to the archor + var fragment = window.location.hash; + if (fragment) { + window.location.hash = ''; + window.location.hash = fragment; + } }); }); @@ -43,4 +49,4 @@ function setPageTitle() { document.title = titlePrefix + " - " + document.title; } } -} \ No newline at end of file +}