diff options
author | bob <bcz@cs.brown.edu> | 2019-06-13 11:58:41 -0400 |
---|---|---|
committer | bob <bcz@cs.brown.edu> | 2019-06-13 11:58:41 -0400 |
commit | 5c8e4ee0c87b140f01f0d287af04fe205a80a584 (patch) | |
tree | dea35fe98ed404b762d8bbfcc7ba772225bda8f0 /src/client/util/SelectionManager.ts | |
parent | 95674ee7f68782d1ce85858120efea956825bcb9 (diff) | |
parent | e81e116b89fad0f3fcfb76039b0b802073307478 (diff) |
Merge branch 'master' into rich_text_linking
Diffstat (limited to 'src/client/util/SelectionManager.ts')
-rw-r--r-- | src/client/util/SelectionManager.ts | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/client/util/SelectionManager.ts b/src/client/util/SelectionManager.ts index b26032b04..09bccb1a0 100644 --- a/src/client/util/SelectionManager.ts +++ b/src/client/util/SelectionManager.ts @@ -12,11 +12,11 @@ export namespace SelectionManager { @action SelectDoc(docView: DocumentView, ctrlPressed: boolean): void { // if doc is not in SelectedDocuments, add it - if (!ctrlPressed) { - this.DeselectAll(); - } - if (manager.SelectedDocuments.indexOf(docView) === -1) { + if (!ctrlPressed) { + this.DeselectAll(); + } + manager.SelectedDocuments.push(docView); docView.props.whenActiveChanged(true); } |