Skip to content
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

navigation pane toggle shortcut #1272

Closed
basaran opened this issue Aug 18, 2020 · 1 comment
Closed

navigation pane toggle shortcut #1272

basaran opened this issue Aug 18, 2020 · 1 comment
Labels
scope/ui status/duplicate Duplicate of another issue. type/enhancement

Comments

@basaran
Copy link

basaran commented Aug 18, 2020

Would it be possible to add a toggle option to show/hide the navigation pane? Most of us are invoking Zeal through a plugin, and a search is not required when so. It would help make the reading area less busy especially when the zeal window is stacked to right hand side.
@trollixx trollixx added this to the Short Term milestone Sep 6, 2020
@trollixx
Copy link
Member

trollixx commented Sep 8, 2024

I forgot this issue existed and created #1652. This is now implemented and will be part of v0.7.2, which I am about to tag.

@trollixx trollixx closed this as not planned Won't fix, can't repro, duplicate, stale Sep 8, 2024
@trollixx trollixx added the status/duplicate Duplicate of another issue. label Sep 8, 2024
@trollixx trollixx modified the milestones: Short Term, 0.7.2 Sep 8, 2024
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
scope/ui status/duplicate Duplicate of another issue. type/enhancement
Milestone
No milestone
Development

No branches or pull requests
2 participants
@trollixx @basaran