New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Show additional article menu when in article #8

Open

k1sul1 opened this issue Sep 24, 2017 · 0 comments

Assignees

Labels

Member

k1sul1 commented Sep 24, 2017

Generate a menu from points of interest (headings?) so skimming through pages is easier.

k1sul1 added the enhancement label

k1sul1 mentioned this issue

Make the file tree extendable and compact #9

Open

k1sul1 self-assigned this

# for free to join this conversation on GitHub. Already have an account? # to comment