diff options
| author | Bob Zeleznik <zzzman@gmail.com> | 2019-10-04 23:45:01 -0400 |
|---|---|---|
| committer | Bob Zeleznik <zzzman@gmail.com> | 2019-10-04 23:45:01 -0400 |
| commit | d611773fc805082a935cae49723d516ce66e1a14 (patch) | |
| tree | 88f7478e5d9dcb80ef339ffb04ca716b7284f4b2 /src/new_fields/Doc.ts | |
| parent | dcaad9277d2b25e1707964c442c4d19aae59d533 (diff) | |
more pdf cleanup. fix to mix-multiply-mode for better highlighters/opacity. small text box fixes.
Diffstat (limited to 'src/new_fields/Doc.ts')
| -rw-r--r-- | src/new_fields/Doc.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/new_fields/Doc.ts b/src/new_fields/Doc.ts index 6acc6e1ca..7e37eba84 100644 --- a/src/new_fields/Doc.ts +++ b/src/new_fields/Doc.ts @@ -685,7 +685,7 @@ export namespace Doc { document.removeEventListener("pointerdown", linkFollowUnhighlight); document.addEventListener("pointerdown", linkFollowUnhighlight); let x = dt = Date.now(); - window.setTimeout(() => dt == x && linkFollowUnhighlight(), 5000); + window.setTimeout(() => dt === x && linkFollowUnhighlight(), 5000); } export class HighlightBrush { |
