diff options
author | Monika <monika_hedman@brown.edu> | 2019-06-21 11:37:28 -0400 |
---|---|---|
committer | Monika <monika_hedman@brown.edu> | 2019-06-21 11:37:28 -0400 |
commit | 7eb3e346c6fddc23794f3dd0c33e280c4ee7bc24 (patch) | |
tree | d6e9ecd9d02aabd5324586c027ec769b750e0b6e /src/client/util/SelectionManager.ts | |
parent | 4b8a6b7a76ccadfd39ec037e282018c7d588dea8 (diff) | |
parent | 179afa6e80631fcb8899408c3961bf1757e5b19b (diff) |
pulled from master
Diffstat (limited to 'src/client/util/SelectionManager.ts')
-rw-r--r-- | src/client/util/SelectionManager.ts | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/client/util/SelectionManager.ts b/src/client/util/SelectionManager.ts index b26032b04..7dbb81e76 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); } @@ -66,7 +66,7 @@ export namespace SelectionManager { export function GetIsDragging() { return manager.IsDragging; } export function SelectedDocuments(): Array<DocumentView> { - return manager.SelectedDocuments; + return manager.SelectedDocuments.slice(); } export function ViewsSortedHorizontally(): DocumentView[] { let sorted = SelectionManager.SelectedDocuments().slice().sort((doc1, doc2) => { |