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

Feature Request: Option to hide header on the navigation pane #86

Open
ianqsong opened this issue Oct 25, 2023 · 0 comments
Open

Feature Request: Option to hide header on the navigation pane #86

ianqsong opened this issue Oct 25, 2023 · 0 comments

Comments

@ianqsong
Copy link

Just my cents: if the tab header "Contents Local Bookmarks History" could be hidden by toggling, the screen would be even cleaner. Once users get familiar with key shortcuts for navigation, the header is no longer necessary.
@ianqsong ianqsong changed the title Option to hide header on the navigation pane Feature Request: Option to hide header on the navigation pane Oct 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@ianqsong