diff options
| author | bob <bcz@cs.brown.edu> | 2019-11-12 15:07:03 -0500 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2019-11-12 15:07:03 -0500 |
| commit | d7150995d62c498ab8435de986b90d98bdca020c (patch) | |
| tree | 572ef6b6967615cf3ec0d3722b3a027283b21731 /src/client/views/pdf/Annotation.tsx | |
| parent | d220b23867050fb6565fe639c3be28080f589aa2 (diff) | |
a bunch of cleanup and bug fixes to text links and doculink buttons
Diffstat (limited to 'src/client/views/pdf/Annotation.tsx')
| -rw-r--r-- | src/client/views/pdf/Annotation.tsx | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/client/views/pdf/Annotation.tsx b/src/client/views/pdf/Annotation.tsx index 2d8f47666..936af9ab8 100644 --- a/src/client/views/pdf/Annotation.tsx +++ b/src/client/views/pdf/Annotation.tsx @@ -52,11 +52,7 @@ class RegionAnnotation extends React.Component<IRegionAnnotationProps> { this._brushDisposer = reaction( () => FieldValue(Cast(this.props.document.group, Doc)) && Doc.isBrushedHighlightedDegree(FieldValue(Cast(this.props.document.group, Doc))!), - (brushed) => { - if (brushed !== undefined) { - runInAction(() => this._brushed = brushed !== 0); - } - } + brushed => brushed !== undefined && runInAction(() => this._brushed = brushed !== 0) ); } |
