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

Add Quick Links to the Project Tree #1165

Merged
merged 3 commits into from
Oct 14, 2022
Merged

Add Quick Links to the Project Tree #1165

merged 3 commits into from
Oct 14, 2022

Conversation

vkbo
Copy link
Owner

@vkbo vkbo commented Oct 14, 2022

Summary:

This PR adds a tool button to the Project Tree toolbar with a dropdown menu with links to each of the project's root folders. Clicking one will change the selected item to the root folder and scroll it into view. The menu can be activated with the keyboard shortcut Ctrl+L.

Related Issue(s):

Closes #1137

Reviewer's Checklist:

  • The header of all files contain a reference to the repository license
  • The overall test coverage is increased or remains the same as before
  • All tests are passing
  • All flake8 checks are passing and the style guide is followed
  • Documentation (as docstrings) is complete and understandable
  • Only files that have been actively changed are committed

@vkbo vkbo added this to the Release 2.0 RC 1 milestone Oct 14, 2022
@vkbo vkbo mentioned this pull request Oct 14, 2022
@vkbo vkbo merged commit 9196111 into main Oct 14, 2022
@vkbo vkbo deleted the project_tree_quick_links branch October 14, 2022 15:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Project Tree quick links
1 participant