diff options
| author | bobzel <zzzman@gmail.com> | 2025-02-26 18:31:13 -0500 |
|---|---|---|
| committer | bobzel <zzzman@gmail.com> | 2025-02-26 18:31:13 -0500 |
| commit | 2e03c9bf1af2796faef8b81b326b48f4cd136d95 (patch) | |
| tree | 1a368765f65dfbb123de1a2b8b0014b7e47279a7 /src/client/util/DocumentManager.ts | |
| parent | 2d73f20b38424119c9419b7b85799eb3aff6c17f (diff) | |
fixed toggling number dropdown. Added firefly to gpt popup menu.
Diffstat (limited to 'src/client/util/DocumentManager.ts')
| -rw-r--r-- | src/client/util/DocumentManager.ts | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/client/util/DocumentManager.ts b/src/client/util/DocumentManager.ts index acb35f7eb..e33449782 100644 --- a/src/client/util/DocumentManager.ts +++ b/src/client/util/DocumentManager.ts @@ -354,9 +354,10 @@ export class DocumentManager { // bcz: should this delay be an options parameter? setTimeout(() => { Doc.linkFollowHighlight(viewSpec ? [docView.Document, viewSpec] : docView.Document, undefined, options.effect); - if (options.zoomTextSelections && Doc.IsUnhighlightTimerSet() && contextView && targetDoc.text_html) { + const zoomableText = StrCast(targetDoc.text_html, StrCast(targetDoc.ai_firefly_prompt)); + if (options.zoomTextSelections && Doc.IsUnhighlightTimerSet() && contextView && zoomableText) { // if the docView is a text anchor, the contextView is the PDF/Web/Text doc - contextView.setTextHtmlOverlay(StrCast(targetDoc.text_html), options.effect); + contextView.setTextHtmlOverlay(zoomableText, options.effect); DocumentManager._overlayViews.add(contextView); } Doc.AddUnHighlightWatcher(() => { |