diff options
author | bob <bcz@cs.brown.edu> | 2019-12-16 14:54:49 -0500 |
---|---|---|
committer | bob <bcz@cs.brown.edu> | 2019-12-16 14:54:49 -0500 |
commit | c58733797f447cf7ea389b743a7ee223010d0ffa (patch) | |
tree | 45bee442636ab4156ee0fc35bc0cf5cdf72a178f /src/client/util/SelectionManager.ts | |
parent | 4b01b3b15ca7bb9b5b47aa03297ae6ef419ce0dd (diff) |
testing
Diffstat (limited to 'src/client/util/SelectionManager.ts')
-rw-r--r-- | src/client/util/SelectionManager.ts | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/client/util/SelectionManager.ts b/src/client/util/SelectionManager.ts index cb7a69295..c16b39842 100644 --- a/src/client/util/SelectionManager.ts +++ b/src/client/util/SelectionManager.ts @@ -29,7 +29,7 @@ export namespace SelectionManager { manager.SelectedDocuments.clear(); manager.SelectedDocuments.set(docView, true); } - Doc.UserDoc().SelectedDocs = new List(SelectionManager.SelectedDocuments().map(dv => dv.props.Document)); + // Doc.UserDoc().SelectedDocs = new List(SelectionManager.SelectedDocuments().map(dv => dv.props.Document)); } @action DeselectDoc(docView: DocumentView): void { @@ -82,5 +82,5 @@ export namespace SelectionManager { } } -Scripting.addGlobal(function selectDoc(doc: any) { Doc.UserDoc().SelectedDocs = new List([doc]); }); +//Scripting.addGlobal(function selectDoc(doc: any) { Doc.UserDoc().SelectedDocs = new List([doc]); }); |