aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorbob <bcz@cs.brown.edu>2019-12-16 14:54:49 -0500
committerbob <bcz@cs.brown.edu>2019-12-16 14:54:49 -0500
commitc58733797f447cf7ea389b743a7ee223010d0ffa (patch)
tree45bee442636ab4156ee0fc35bc0cf5cdf72a178f
parent4b01b3b15ca7bb9b5b47aa03297ae6ef419ce0dd (diff)
testing
-rw-r--r--src/client/util/SelectionManager.ts4
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]); });