I'm implementing support for navigating to pages (my cljdoc documentation) and some bookmark on the given page, from the command line poly tool, that I'm working on. My left menu is quite long, and if I go to a page that lives at the bottom of the left menu, it would be nice if we could not just open the page and scroll to the bookmark/anchor, but also scroll to the page in the left menu (as it is now, you can't even see the selected page, you have to manually scroll to it).
The result is that you lose the context of where you are, especially when scrolling to a bookmark further down on a page, because then you don't see the heading of that page. Making the page visible in the left menu would increase the user experience.
Here are two examples, where the first is the current behaviour, where we can't see "Workspace structure", while in the other we can.
yep, makes sense to me! can you copy paste to git issue?
Sure, will do that later.
I created issue https://github.com/cljdoc/cljdoc/issues/790.
Mercy buckets!
My pleasure.