diff options
author | Bob Zeleznik <zzzman@gmail.com> | 2019-10-04 23:45:01 -0400 |
---|---|---|
committer | Bob Zeleznik <zzzman@gmail.com> | 2019-10-04 23:45:01 -0400 |
commit | d611773fc805082a935cae49723d516ce66e1a14 (patch) | |
tree | 88f7478e5d9dcb80ef339ffb04ca716b7284f4b2 /src/client/util/SelectionManager.ts | |
parent | dcaad9277d2b25e1707964c442c4d19aae59d533 (diff) |
more pdf cleanup. fix to mix-multiply-mode for better highlighters/opacity. small text box fixes.
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; } } |