Merge branch 'master' into ink_menu

1 files changed, 5 insertions, 1 deletions

diff --git a/src/client/util/SelectionManager.ts b/src/client/util/SelectionManager.ts
index 05515e502..eb905d237 100644
--- a/src/client/util/SelectionManager.ts
+++ b/src/client/util/SelectionManager.ts
@@ -10,13 +10,17 @@ export namespace SelectionManager {
 
         @observable IsDragging: boolean = false;
         SelectedDocuments: ObservableMap<DocumentView, boolean> = new ObservableMap();
-
+        clearSelection() {
+            if (window.getSelection) { window.getSelection()?.removeAllRanges(); }
+            else if (document.getSelection()) { document.getSelection()?.empty(); }
+        }
         @action
         SelectDoc(docView: DocumentView, ctrlPressed: boolean): void {
             // if doc is not in SelectedDocuments, add it
             if (!manager.SelectedDocuments.get(docView)) {
                 if (!ctrlPressed) {
                     this.DeselectAll();
+                    this.clearSelection();
                 }
 
                 manager.SelectedDocuments.set(docView, true);