diff options
| author | bob <bcz@cs.brown.edu> | 2019-04-01 17:19:01 -0400 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2019-04-01 17:19:01 -0400 |
| commit | dd561b6b81a2832972d15e6226327a49ec1cdf06 (patch) | |
| tree | 7a7ee9ee826a11fb9721ce2785db616e7273efe8 | |
| parent | 8b48b3a4afcd3d09b87f966d26fa9e21029d4cc1 (diff) | |
from last
| -rw-r--r-- | src/client/util/SelectionManager.ts | 2 |
1 files changed, 2 insertions, 0 deletions
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> { |