aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorBob Zeleznik <zzzman@gmail.com>2019-12-17 21:04:10 -0500
committerBob Zeleznik <zzzman@gmail.com>2019-12-17 21:04:10 -0500
commitc6c119736c3d32f7f4d916e2048be951b492bcd6 (patch)
treeb7846a43b37ccb23637d955129057e3903aef582 /src
parent68f8994ea14d3085d443aa3b1d2db1100cb104fd (diff)
from last
Diffstat (limited to 'src')
-rw-r--r--src/client/util/SelectionManager.ts2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/client/util/SelectionManager.ts b/src/client/util/SelectionManager.ts
index cb7a69295..932387085 100644
--- a/src/client/util/SelectionManager.ts
+++ b/src/client/util/SelectionManager.ts
@@ -36,12 +36,14 @@ export namespace SelectionManager {
if (manager.SelectedDocuments.get(docView)) {
manager.SelectedDocuments.delete(docView);
docView.props.whenActiveChanged(false);
+ Doc.UserDoc().SelectedDocs = new List(SelectionManager.SelectedDocuments().map(dv => dv.props.Document));
}
}
@action
DeselectAll(): void {
Array.from(manager.SelectedDocuments.keys()).map(dv => dv.props.whenActiveChanged(false));
manager.SelectedDocuments.clear();
+ Doc.UserDoc().SelectedDocs = new List<Doc>([]);
}
}