diff options
author | bob <bcz@cs.brown.edu> | 2019-10-04 17:01:09 -0400 |
---|---|---|
committer | bob <bcz@cs.brown.edu> | 2019-10-04 17:01:09 -0400 |
commit | 54f2067dbadb66e22249c1572bdc5d6d097f41d1 (patch) | |
tree | 1d2ca9858ed0835efde003429d4dd2fb8c849f23 /src/client/util/SelectionManager.ts | |
parent | dcaad9277d2b25e1707964c442c4d19aae59d533 (diff) |
restored tooltiptextmenu
Diffstat (limited to 'src/client/util/SelectionManager.ts')
-rw-r--r-- | src/client/util/SelectionManager.ts | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/client/util/SelectionManager.ts b/src/client/util/SelectionManager.ts index a02a270ee..df1b46b33 100644 --- a/src/client/util/SelectionManager.ts +++ b/src/client/util/SelectionManager.ts @@ -27,7 +27,6 @@ export namespace SelectionManager { } else if (!ctrlPressed && manager.SelectedDocuments.length > 1) { manager.SelectedDocuments.map(dv => dv !== docView && dv.props.whenActiveChanged(false)); manager.SelectedDocuments = [docView]; - FormattedTextBox.InputBoxOverlay = undefined; } } @action @@ -42,7 +41,6 @@ export namespace SelectionManager { DeselectAll(): void { manager.SelectedDocuments.map(dv => dv.props.whenActiveChanged(false)); manager.SelectedDocuments = []; - FormattedTextBox.InputBoxOverlay = undefined; } } |