diff options
| author | Fawn <fangrui_tong@brown.edu> | 2019-11-14 23:39:52 -0500 |
|---|---|---|
| committer | Fawn <fangrui_tong@brown.edu> | 2019-11-14 23:39:52 -0500 |
| commit | f108bc9f9f1ff9cad2db4b794e3b433768c342a1 (patch) | |
| tree | a2603e85291d118bbea3370ce823ab833e63281a /src/client/views/pdf/Annotation.tsx | |
| parent | e3f06e390f98cc5b97d63fc287daff994d5fef6f (diff) | |
| parent | c9fbdb9cfd5fcf35f7a599706cb41d4e7e586e19 (diff) | |
merged with master
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) ); } |