diff options
| author | Bob Zeleznik <zzzman@gmail.com> | 2020-03-05 22:20:52 -0500 |
|---|---|---|
| committer | Bob Zeleznik <zzzman@gmail.com> | 2020-03-05 22:20:52 -0500 |
| commit | b667ac18c58cd022219bec091e59977107b5bd7d (patch) | |
| tree | bf79b3ad5fa5c3ebd89383b1c7cc50e846697900 /src/client/util/SelectionManager.ts | |
| parent | 45643918180f32f070f8d9f770c446b70c08548d (diff) | |
| parent | 288e4d24b61d281819b7f0b5bb697edbcc9ed173 (diff) | |
Merge branch 'master' into audio_refactor
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 4612f10f4..0e281e77e 100644 --- a/src/client/util/SelectionManager.ts +++ b/src/client/util/SelectionManager.ts @@ -54,6 +54,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 ? |