diff options
author | Eric <ericmabr@gmail.com> | 2023-08-26 12:33:47 -0400 |
---|---|---|
committer | Eric <ericmabr@gmail.com> | 2023-08-26 12:33:47 -0400 |
commit | 2c46608d3207a8463907b0e1904d9b3026d6d1c8 (patch) | |
tree | cca1540a227699e3414ea742a07f7cc0685407f1 /src/client/util/DocumentManager.ts | |
parent | 10bb2ae3171c2035163c611de966c5aee4769ac3 (diff) |
Final1
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 7c3b5be05..5b627c2f3 100644 --- a/src/client/util/DocumentManager.ts +++ b/src/client/util/DocumentManager.ts @@ -310,7 +310,7 @@ export class DocumentManager { if (viewSpec && docView) { if (docView.ComponentView instanceof FormattedTextBox) docView.ComponentView?.focus(viewSpec, options); PresBox.restoreTargetDocView(docView, viewSpec, options.zoomTime ?? 500); - Doc.linkFollowHighlight(docView.rootDoc, undefined, options.effect); + Doc.linkFollowHighlight(viewSpec ? [docView.rootDoc, viewSpec]: docView.rootDoc, undefined, options.effect); if (options.playAudio) DocumentManager.playAudioAnno(docView.rootDoc); if (options.toggleTarget && (!options.didMove || docView.rootDoc.hidden)) docView.rootDoc.hidden = !docView.rootDoc.hidden; if (options.effect) docView.rootDoc[Animation] = options.effect; |