diff options
| author | Michael Davis | 2022-11-26 02:52:22 +0000 |
|---|---|---|
| committer | GitHub | 2022-11-26 02:52:22 +0000 |
| commit | 8529d756fad2eeea543b487e1ff5253857bc2e16 (patch) | |
| tree | 02122d910b604686dcb5bcaacd5324d69b52e82b /screenshot.png | |
| parent | 4e52d4d6f456e082f29f585c7a03a3ef1cbf156e (diff) | |
Remove selections for closed views on all documents (#4888)
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.
Diffstat (limited to 'screenshot.png')
0 files changed, 0 insertions, 0 deletions