diff options
| author | bob <bcz@cs.brown.edu> | 2019-04-11 11:56:40 -0400 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2019-04-11 11:56:40 -0400 |
| commit | 50be8cb7a93110821c972c679567ddb6aae8bc6f (patch) | |
| tree | 77c4aa72d02709c925d9e5872ab302a0fbc4648b /src/client/util/SelectionManager.ts | |
| parent | e9cbcfa2a893572f8b92bba84dd0791e6f50be71 (diff) | |
made css globals avabile from code. cleaned up formattedText overlay api..
Diffstat (limited to 'src/client/util/SelectionManager.ts')
| -rw-r--r-- | src/client/util/SelectionManager.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/util/SelectionManager.ts b/src/client/util/SelectionManager.ts index 2638e3b7d..2fa45a086 100644 --- a/src/client/util/SelectionManager.ts +++ b/src/client/util/SelectionManager.ts @@ -25,7 +25,7 @@ export namespace SelectionManager { DeselectAll(): void { manager.SelectedDocuments.map(dv => dv.props.onActiveChanged(false)); manager.SelectedDocuments = []; - Main.Instance.SetTextDoc(undefined, undefined, undefined); + Main.Instance.SetTextDoc(); } } |