diff options
author | bobzel <zzzman@gmail.com> | 2023-11-19 11:55:52 -0500 |
---|---|---|
committer | bobzel <zzzman@gmail.com> | 2023-11-19 11:55:52 -0500 |
commit | 95ca3c2419a760970d56a4af656b28c4f3b6c073 (patch) | |
tree | d8afa191064d09cffce31eb912e0cb3fea915d62 /src/client/util/DocumentManager.ts | |
parent | 2b0e4ccc096998eb1d727f2e85ea8c1a63b27e08 (diff) |
fixed creating anchors when pinning pdf/web/text doc with selection. fixed showing selected text overlay for text docs.
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 f05c41fa7..01230bc06 100644 --- a/src/client/util/DocumentManager.ts +++ b/src/client/util/DocumentManager.ts @@ -307,7 +307,7 @@ export class DocumentManager { focused = focused || (nextFocus === undefined ? false : true); // keep track of whether focusing on a view needed to actually change anything const { childDocView, viewSpec } = await iterator(docView); if (!childDocView) return { viewSpec: options.anchorDoc ?? viewSpec ?? docView.rootDoc, docView, contextView, focused }; - contextView = docView; + contextView = options.anchorDoc?.layout_unrendered ? childDocView : docView; docView = childDocView; } }; |