Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

Need jump lists (anchors) for headings #266

Closed
annajiat opened this issue Jan 20, 2022 · 1 comment
Closed

Need jump lists (anchors) for headings #266

annajiat opened this issue Jan 20, 2022 · 1 comment
Labels
type:enhancement Propose enhancement to the lesson

Comments

@annajiat
Copy link

@zkamvar
We need to update style for this lesson so that jump lists (anchors for different sections) becomes automatically available for different levels of headings.
@villanueval villanueval added the type:enhancement Propose enhancement to the lesson label Mar 17, 2022
@bencomp
Copy link
Contributor

bencomp commented Jul 18, 2023

This issue related to the pre-Workbench version and is no longer relevant.

@bencomp bencomp closed this as completed Jul 18, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
type:enhancement Propose enhancement to the lesson
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@bencomp @villanueval @annajiat