Skip to content

Link to section in notebook #1844

Jan 22, 2022 · 2 comments · 4 replies
Discussion options

You must be logged in to vote

I don't think this is possible without some sort of special implementation on Pluto's side. The #1f2afbc8-5e04-4f18-b047-90775443d572 in the URL tells the browser to look for an element with id=1f2afbc8-5e04-4f18-b047-90775443d572 somewhere in the DOM tree, but this element doesn't actually exist when the page is first fetched, which can be seen with Chrome's view source function. Instead Pluto generates all the DOM you see in inspect element right after the page loads.

A very dirty way to fix this would be to place this code snippet at the end of the HTML <head> block. A much cleaner solution could be implemented within Pluto itself by doing the same thing that's done in the snippet, but…

Replies: 2 comments 4 replies

Comment options

You must be logged in to vote
1 reply
@icweaver
Comment options

Answer selected by icweaver
Comment options

You must be logged in to vote
3 replies
@fonsp
Comment options

@icweaver
Comment options

@MichaelHatherly
Comment options

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
4 participants