-
-
Notifications
You must be signed in to change notification settings - Fork 116
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
Conversation
* Reassociate project and document on restore hiddin
* Close documents as well * Inform DocumentManager
# Conflicts fixed in: # src/FolderManager/FileView.vala
# Conflicts fixed in: # src/FolderManager/FileView.vala
I haven't looked at the code, but I am in favor of this behavior change! |
There was a problem hiding this 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
I havent stress tested with hundreds of hidden and open docs but it seems stable under modest workload at least. Let others hammer it! |
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.