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

Remove selections for closed views on all documents #4888

Merged
merged 1 commit into from
Nov 26, 2022
Merged

Remove selections for closed views on all documents #4888

merged 1 commit into from
Nov 26, 2022

Commits on Nov 25, 2022

  1. Remove selections for closed views on all documents 

    Previously we removed selections for a closed view on only the
currently focused document. A view might have selections in other
documents though, so the view needs to be removed from all documents.
    @the-mikedavis
    the-mikedavis committed Nov 25, 2022
    Configuration menu
    Copy the full SHA
    af7cc2b View commit details
    Browse the repository at this point in the history