diff options
| author | yipstanley <stanley_yip@brown.edu> | 2019-06-14 18:13:18 -0400 |
|---|---|---|
| committer | yipstanley <stanley_yip@brown.edu> | 2019-06-14 18:13:18 -0400 |
| commit | d9fba98b4022d2be68f67d830f17fea79580d2c4 (patch) | |
| tree | e33d10565ef8d41d5e0ce71956d53bd478310797 | |
| parent | 747fdb6d26afabad067f3f8d98789bfc7ca44f8d (diff) | |
small
| -rw-r--r-- | src/client/views/pdf/PDFMenu.tsx | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/client/views/pdf/PDFMenu.tsx b/src/client/views/pdf/PDFMenu.tsx index 2ba875e42..b0735f63b 100644 --- a/src/client/views/pdf/PDFMenu.tsx +++ b/src/client/views/pdf/PDFMenu.tsx @@ -95,7 +95,9 @@ export default class PDFMenu extends React.Component { @action togglePin = (e: React.MouseEvent) => { this._pinned = !this._pinned; - this.Highlighting = this._pinned === false; + if (!this._pinned) { + this.Highlighting = false; + } } @action |