diff options
| author | Bob Zeleznik <zzzman@gmail.com> | 2019-10-08 19:02:35 -0400 |
|---|---|---|
| committer | Bob Zeleznik <zzzman@gmail.com> | 2019-10-08 19:02:35 -0400 |
| commit | 29cdf0d66df3e38408f69ac8225b4d59397ee2e6 (patch) | |
| tree | d45b62cb180929cf9cd04415ab6927012f37ccb4 /src/client/views/pdf/PDFMenu.tsx | |
| parent | 121cbc76bf971e688398533b303e32d637265364 (diff) | |
fixes for text selection in pdfs to be less jumpy and to work through other annotations.
Diffstat (limited to 'src/client/views/pdf/PDFMenu.tsx')
| -rw-r--r-- | src/client/views/pdf/PDFMenu.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/views/pdf/PDFMenu.tsx b/src/client/views/pdf/PDFMenu.tsx index 1e3320069..517a99a68 100644 --- a/src/client/views/pdf/PDFMenu.tsx +++ b/src/client/views/pdf/PDFMenu.tsx @@ -155,7 +155,7 @@ export default class PDFMenu extends React.Component { @action highlightClicked = (e: React.MouseEvent) => { - if (!this.Highlight("rgba(245, 230, 95, 0.616)") && this.Pinned) { + if (!this.Highlight("rgba(245, 230, 95, 0.616)") && this.Pinned) { // yellowish highlight color for a marker type highlight this.Highlighting = !this.Highlighting; } } |