diff options
author | bob <bcz@cs.brown.edu> | 2019-06-05 14:49:35 -0400 |
---|---|---|
committer | bob <bcz@cs.brown.edu> | 2019-06-05 14:49:35 -0400 |
commit | 24d2e6d7d24aff60c7a3084bc5d5d660ef6b4608 (patch) | |
tree | c1c159d543203f027d3d70aff49925c48b17d1bf /src/client/util/SelectionManager.ts | |
parent | 1087133d71ef2ac7df6976c61685167ed0fe71d9 (diff) |
PDF scroll/UI shows up only when its active now.
Diffstat (limited to 'src/client/util/SelectionManager.ts')
-rw-r--r-- | src/client/util/SelectionManager.ts | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/client/util/SelectionManager.ts b/src/client/util/SelectionManager.ts index 5311841e1..6e0e6fd3a 100644 --- a/src/client/util/SelectionManager.ts +++ b/src/client/util/SelectionManager.ts @@ -22,14 +22,6 @@ export namespace SelectionManager { } } @action - DeSelectDoc(doc: DocumentView): void { - if (manager.SelectedDocuments.indexOf(doc) !== -1) { - manager.SelectedDocuments.splice(manager.SelectedDocuments.indexOf(doc), 1); - doc.props.whenActiveChanged(false); - } - } - - @action DeselectAll(): void { manager.SelectedDocuments.map(dv => dv.props.whenActiveChanged(false)); manager.SelectedDocuments = []; @@ -46,9 +38,6 @@ export namespace SelectionManager { export function IsSelected(doc: DocumentView): boolean { return manager.SelectedDocuments.indexOf(doc) !== -1; } - export function DeSelectDoc(doc: DocumentView): void { - manager.DeSelectDoc(doc); - } export function DeselectAll(except?: Doc): void { let found: DocumentView | undefined = undefined; |