From dd561b6b81a2832972d15e6226327a49ec1cdf06 Mon Sep 17 00:00:00 2001
From: bob <bcz@cs.brown.edu>
Date: Mon, 1 Apr 2019 17:19:01 -0400
Subject: from last

---
 src/client/util/SelectionManager.ts | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

diff --git a/src/client/util/SelectionManager.ts b/src/client/util/SelectionManager.ts
index 6d6ae26fc..1354e32e1 100644
--- a/src/client/util/SelectionManager.ts
+++ b/src/client/util/SelectionManager.ts
@@ -40,6 +40,8 @@ export namespace SelectionManager {
             }
         }
         manager.SelectedDocuments.length = 0;
+        if (found)
+            manager.SelectedDocuments.push(found);
     }
 
     export function SelectedDocuments(): Array<DocumentView> {
-- 
cgit v1.2.3-70-g09d2