diff options
author | Geireann Lindfield Roberts <60007097+geireann@users.noreply.github.com> | 2022-07-06 15:58:49 -0700 |
---|---|---|
committer | Geireann Lindfield Roberts <60007097+geireann@users.noreply.github.com> | 2022-07-06 15:58:49 -0700 |
commit | 03ef9aae8b91be25647dd2b9eb2dccc6ff435fcf (patch) | |
tree | bfdd705fe5e78b8159208c58016774658bcb022e /src/client/util/DocumentManager.ts | |
parent | b476f81fbb7b7af32fdcc2fdd9fd1e2e2fc34014 (diff) | |
parent | 85e290ee7a666412570f2bae43a9b62d35b425f2 (diff) |
Merge branch 'master' into geireann-eslint-prettier
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 0435cd535..8473ce703 100644 --- a/src/client/util/DocumentManager.ts +++ b/src/client/util/DocumentManager.ts @@ -255,7 +255,7 @@ export class DocumentManager { retryDocView.focus(targetDoc, { willZoom, afterFocus: (didFocus: boolean) => new Promise<ViewAdjustment>(res => { - !noSelect && focusAndFinish(didFocus); + !noSelect && focusAndFinish(true); res(ViewAdjustment.doNothing); }) }); // focus on the target in the context |