odoc icon indicating copy to clipboard operation
odoc copied to clipboard

Add a link to the root of all packages when using odig

Open Khady opened this issue 6 years ago • 4 comments

On a page such as this one, there is no direct way to go back to the page that contains all the packages. The shortest path is to first click on "atdgen-runtime" and then "up". It would be great to have a direct link.

https://b0-system.github.io/odig/doc/atdgen-runtime/Atdgen_runtime/Json_adapter/index.html

Khady avatar Mar 19 '19 07:03 Khady

Note that you can also click on Up as fast as possible, works quite well in practice and may timewise be much shorter than the shortest path you mention.

dbuenzli avatar Mar 19 '19 19:03 dbuenzli

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs.

github-actions[bot] avatar May 01 '20 15:05 github-actions[bot]

if possible I'd still like to have this.

Khady avatar May 02 '20 20:05 Khady

Personally I don't think it's needed but I may be in the minority. In any case it's disgraceful to close that via a bot action.

dbuenzli avatar May 10 '20 00:05 dbuenzli