diff options
| author | bob <bcz@cs.brown.edu> | 2019-04-10 14:28:25 -0400 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2019-04-10 14:28:25 -0400 |
| commit | e0b3c759880639bf56f9b8b39ea2e38c5cbad8a6 (patch) | |
| tree | 5f88f565db34f65897e3cef1ba6d7388bdffa447 /src/client/util/SelectionManager.ts | |
| parent | 9ea0f409cfc2a6c11bb1cf6e00015eb97900507b (diff) | |
fixed extra rendering for collections.
Diffstat (limited to 'src/client/util/SelectionManager.ts')
| -rw-r--r-- | src/client/util/SelectionManager.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/util/SelectionManager.ts b/src/client/util/SelectionManager.ts index 5ddaafc72..c6b8c7b0d 100644 --- a/src/client/util/SelectionManager.ts +++ b/src/client/util/SelectionManager.ts @@ -48,7 +48,7 @@ export namespace SelectionManager { manager.DeselectAll(); if (found) manager.SelectDoc(found, false); - Main.Instance.SetTextDoc(undefined, undefined); + Main.Instance.SetTextDoc(undefined, undefined, undefined); } export function SelectedDocuments(): Array<DocumentView> { |