diff options
| author | andrewdkim <adkim414@gmail.com> | 2020-02-12 20:28:44 -0500 |
|---|---|---|
| committer | andrewdkim <adkim414@gmail.com> | 2020-02-12 20:28:44 -0500 |
| commit | e100f189047ee05aad0864064e4764da073cfc19 (patch) | |
| tree | 0c3d05649c8b6329ffd3862bce30e77e86d61006 /src/client/util/SelectionManager.ts | |
| parent | d1b9049fe50e401ac1a33177babd0cfa4b32f6a0 (diff) | |
| parent | 33d5a12af14e1ed50e5c3164b363fbbc253506a0 (diff) | |
merge
Diffstat (limited to 'src/client/util/SelectionManager.ts')
| -rw-r--r-- | src/client/util/SelectionManager.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/client/util/SelectionManager.ts b/src/client/util/SelectionManager.ts index 86a7a620e..4fd8abb12 100644 --- a/src/client/util/SelectionManager.ts +++ b/src/client/util/SelectionManager.ts @@ -56,6 +56,7 @@ export namespace SelectionManager { export function SelectDoc(docView: DocumentView, ctrlPressed: boolean): void { manager.SelectDoc(docView, ctrlPressed); } + export function IsSelected(doc: DocumentView, outsideReaction?: boolean): boolean { return outsideReaction ? |