diff options
author | bobzel <zzzman@gmail.com> | 2020-08-10 10:45:37 -0400 |
---|---|---|
committer | bobzel <zzzman@gmail.com> | 2020-08-10 10:45:37 -0400 |
commit | 7173a28dae301a7733bcc9b8111016c737c0f5f4 (patch) | |
tree | da5765d1d53a0f2f44cf6d1fb8f6db0bb0eadff5 /src/client/util/DocumentManager.ts | |
parent | 01ebdb0db657f4c9de7959d2810548993a26e675 (diff) | |
parent | 03ae3477dac354eff9178dac701ee40e394434c9 (diff) |
Merge branch 'master' into ink_edits
Diffstat (limited to 'src/client/util/DocumentManager.ts')
-rw-r--r-- | src/client/util/DocumentManager.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/util/DocumentManager.ts b/src/client/util/DocumentManager.ts index 523dbfca0..bd57e7f48 100644 --- a/src/client/util/DocumentManager.ts +++ b/src/client/util/DocumentManager.ts @@ -152,7 +152,7 @@ export class DocumentManager { const first = getFirstDocView(annotatedDoc); if (first) { annotatedDoc = first.props.Document; - docView?.props.focus(annotatedDoc, false); + first.props.focus(annotatedDoc, false); } } if (docView) { // we have a docView already and aren't forced to create a new one ... just focus on the document. TODO move into view if necessary otherwise just highlight? |