diff options
| author | yipstanley <stanley_yip@brown.edu> | 2019-06-14 18:11:41 -0400 |
|---|---|---|
| committer | yipstanley <stanley_yip@brown.edu> | 2019-06-14 18:11:41 -0400 |
| commit | 747fdb6d26afabad067f3f8d98789bfc7ca44f8d (patch) | |
| tree | e79c4116bfdceaf875f308437819bd04397d6d98 /src/client/views/pdf/PDFMenu.tsx | |
| parent | a639f8febb6bb834ef25f26dc488202177cdfb50 (diff) | |
small stuffs
Diffstat (limited to 'src/client/views/pdf/PDFMenu.tsx')
| -rw-r--r-- | src/client/views/pdf/PDFMenu.tsx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/client/views/pdf/PDFMenu.tsx b/src/client/views/pdf/PDFMenu.tsx index d2a20fb6e..2ba875e42 100644 --- a/src/client/views/pdf/PDFMenu.tsx +++ b/src/client/views/pdf/PDFMenu.tsx @@ -95,6 +95,7 @@ export default class PDFMenu extends React.Component { @action togglePin = (e: React.MouseEvent) => { this._pinned = !this._pinned; + this.Highlighting = this._pinned === false; } @action |