diff options
| author | bobzel <zzzman@gmail.com> | 2024-04-19 11:32:46 -0400 |
|---|---|---|
| committer | bobzel <zzzman@gmail.com> | 2024-04-19 11:32:46 -0400 |
| commit | 89e5b4e224d77c7a029ec7d9c9027095665508ac (patch) | |
| tree | b1163d7090da48d978858caa44c601401a9400f6 /src/client/util/DocumentManager.ts | |
| parent | b6229b0a6141afbfd0e78e3ec870218187864def (diff) | |
lint fixes.
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 67a61f17e..9a7786125 100644 --- a/src/client/util/DocumentManager.ts +++ b/src/client/util/DocumentManager.ts @@ -321,7 +321,7 @@ export class DocumentManager { if (options.toggleTarget && (!options.didMove || docView.Document.hidden)) docView.Document.hidden = !docView.Document.hidden; if (options.effect) docView.Document[Animation] = options.effect; - if (options.zoomTextSelections && Doc.UnhighlightTimer && contextView && targetDoc.text_html) { + if (options.zoomTextSelections && Doc.IsUnhighlightTimerSet() && contextView && targetDoc.text_html) { // if the docView is a text anchor, the contextView is the PDF/Web/Text doc contextView.setTextHtmlOverlay(StrCast(targetDoc.text_html), options.effect); DocumentManager._overlayViews.add(contextView); |