diff options
author | Bob Zeleznik <zzzman@gmail.com> | 2019-12-17 21:04:10 -0500 |
---|---|---|
committer | Bob Zeleznik <zzzman@gmail.com> | 2019-12-17 21:04:10 -0500 |
commit | c6c119736c3d32f7f4d916e2048be951b492bcd6 (patch) | |
tree | b7846a43b37ccb23637d955129057e3903aef582 /src/client/util/SelectionManager.ts | |
parent | 68f8994ea14d3085d443aa3b1d2db1100cb104fd (diff) |
from last
Diffstat (limited to 'src/client/util/SelectionManager.ts')
-rw-r--r-- | src/client/util/SelectionManager.ts | 2 |
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>([]); } } |