diff options
author | bob <bcz@cs.brown.edu> | 2019-04-08 18:07:13 -0400 |
---|---|---|
committer | bob <bcz@cs.brown.edu> | 2019-04-08 18:07:13 -0400 |
commit | a72fcdd0ebc06a3c851007c6ed89ab13a9a0d835 (patch) | |
tree | a7f7d017f85566ce70a35cff748a26624339fc08 /src/client/util/SelectionManager.ts | |
parent | 3a9f6df918ad45e55b0c6a540cb566aff4940288 (diff) |
fixed up a bunch of small things + started on text wackiness.
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 958c14491..79d4ceb25 100644 --- a/src/client/util/SelectionManager.ts +++ b/src/client/util/SelectionManager.ts @@ -1,6 +1,7 @@ import { observable, action } from "mobx"; import { DocumentView } from "../views/nodes/DocumentView"; import { Document } from "../../fields/Document"; +import { Main } from "../views/Main"; export namespace SelectionManager { class Manager { @@ -40,6 +41,7 @@ export namespace SelectionManager { } manager.SelectedDocuments.length = 0; if (found) manager.SelectedDocuments.push(found); + Main.Instance.SetTextDoc(undefined, undefined); } export function SelectedDocuments(): Array<DocumentView> { |