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.

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

[Feature Request] Add interactivity #4

Open
tbung opened this issue Jan 7, 2022 · 1 comment
Open

[Feature Request] Add interactivity #4

tbung opened this issue Jan 7, 2022 · 1 comment
Labels
enhancement New feature or request help wanted Extra attention is needed

Comments

@tbung
Copy link
Contributor

tbung commented Jan 7, 2022

I don't know how hard this would be to implement, but a simple form of interactivity would be to make the bar clickable and scroll to the position that was clicked on. This would allow for fast and relevant navigation, especially if something like marks are added.

@petertriho petertriho added enhancement New feature or request help wanted Extra attention is needed labels Jan 8, 2022
@fgheng
Copy link

fgheng commented May 4, 2022

that's cool

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request help wanted Extra attention is needed
Projects
None yet
Development

No branches or pull requests

3 participants