|
@@ -665,3 +665,6 @@ The asynchronous function will only return after receiving the result.
|
|
|
|
|
|
ui.button('run JavaScript', on_click=run_javascript)
|
|
|
ui.button('await JavaScript', on_click=await_javascript)
|
|
|
+
|
|
|
+ # NOTE because the docs are added after inital page load, we need to manually trigger the jump tho the anchor
|
|
|
+ await ui.run_javascript('parts = document.URL.split("#"); window.location.hash = "#"; setTimeout(function(){ window.location.hash = "#" + (parts.length > 1) ? parts[1] : null; }, 100);')
|