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

Hide non-active documents when project manually chosen #1114

Merged
merged 15 commits into from
Oct 22, 2022

Conversation

jeremypw
Copy link
Collaborator

@jeremypw jeremypw commented Oct 9, 2021

This attempts to make handling multiple projects more convenient. I often find it annoying to have to manually close all the documents from one project when I want to switch to another project (but keep the first project available in the sidebar). Otherwise there can be a plethora of tabs open.

This PR arranges for all the documents of inactive projects to be closed (but remembered) when the active project is changed manually with the project chooser button. When the active project changes automatically by switching documents then all documents are kept open so it is still possible to work on two documents from different projects if required.

Also any document that is closed temporarily by this PR is still saved and restored.

Need to use this PR for a while to see how useful it is and whether there are drawbacks.

@jeremypw jeremypw marked this pull request as ready for review November 3, 2021 09:47
@jeremypw jeremypw mentioned this pull request Nov 3, 2021
Jeremy Wootten added 2 commits August 31, 2022 12:22
# Conflicts fixed in:
#	src/FolderManager/FileView.vala
@jeremypw jeremypw requested a review from danirabbit August 31, 2022 11:42
@danirabbit
Copy link
Member

I haven't looked at the code, but I am in favor of this behavior change!

@jeremypw jeremypw requested a review from a team September 1, 2022 07:48
@jeremypw jeremypw mentioned this pull request Sep 1, 2022
Copy link
Contributor

@zeebok zeebok left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Code looks good. I haven't tested yet but if you've tested enough to feel confident I say go ahead and merge it in

@jeremypw
Copy link
Collaborator Author

I havent stress tested with hundreds of hidden and open docs but it seems stable under modest workload at least. Let others hammer it!

@jeremypw jeremypw merged commit 91eebdb into master Oct 22, 2022
@jeremypw jeremypw deleted the hide-docs-when-not-active branch October 22, 2022 17:07
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.

3 participants