diff options
author | bobzel <zzzman@gmail.com> | 2022-03-02 14:43:48 -0500 |
---|---|---|
committer | bobzel <zzzman@gmail.com> | 2022-03-02 14:43:48 -0500 |
commit | 398a50bc1d7e77691620a4a6752fd38d4bb391b0 (patch) | |
tree | 42f56a2bc7cc1d661c3dfa61d49cc472fffb553c /src/client/util/DocumentManager.ts | |
parent | 35f0c9940d0ea7c0cb37c711557454b77ac038ad (diff) |
upgraded to typescript 4.6.2
Diffstat (limited to 'src/client/util/DocumentManager.ts')
-rw-r--r-- | src/client/util/DocumentManager.ts | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/client/util/DocumentManager.ts b/src/client/util/DocumentManager.ts index 66b6a1e44..e1dc96155 100644 --- a/src/client/util/DocumentManager.ts +++ b/src/client/util/DocumentManager.ts @@ -198,7 +198,7 @@ export class DocumentManager { originalTarget, willZoom, scale: presZoom, afterFocus: (didFocus: boolean) => new Promise<ViewAdjustment>(res => { focusAndFinish(didFocus); - res(); + res(ViewAdjustment.doNothing); }) }); } else { @@ -227,7 +227,7 @@ export class DocumentManager { willZoom, afterFocus: (didFocus: boolean) => new Promise<ViewAdjustment>(res => { !noSelect && focusAndFinish(didFocus); - res(); + res(ViewAdjustment.doNothing); }) }); // focus on the target in the context } else if (delay > 1500) { |