diff options
| author | bobzel <zzzman@gmail.com> | 2023-08-26 22:54:10 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-26 22:54:10 -0400 |
| commit | 9c90a9a12cc5ff7fdc8797684e9cc5561ae6354e (patch) | |
| tree | dd42d6d83cdff5ffa824b7cc768e288d02cf4577 /src/client/util/DocumentManager.ts | |
| parent | 603e437d4964c2f104a04f4f977802e241347344 (diff) | |
| parent | ffb910a768c75df57e9d7bca15aca67e9216b025 (diff) | |
Merge pull request #165 from brown-dash/UI_Update_Eric_Ma
eric maps
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; |