Deselect annotations when toggling annotation tool with keyboard

Fixes zotero/zotero#3371
zotero · Oct 10, 2023 · 3382837 · 3382837
1 parent 96b01f1
commit 3382837
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/common/reader.js b/src/common/reader.js
@@ -498,6 +498,7 @@ class Reader {
 		else {
 			this._updateState({ tool: this._tools[type] });
 		}
+		this.setSelectedAnnotations([]);
 	}
 
 	setFilter(filter) {