diff options
| author | Fawn <fangrui_tong@brown.edu> | 2019-07-26 16:23:22 -0400 |
|---|---|---|
| committer | Fawn <fangrui_tong@brown.edu> | 2019-07-26 16:23:22 -0400 |
| commit | f5ffd372f48f68cd17ca15a8c1f5c7d67b0f7aae (patch) | |
| tree | 840a6748350749bcbfe418fc08e45be958e2c8bc /src/client/views/search | |
| parent | 1bedf9e23afe26a284ba4804672ad4f396402813 (diff) | |
| parent | 6c6c2a6c8e40b9f04942e65c416e16f1d3831385 (diff) | |
merged
Diffstat (limited to 'src/client/views/search')
| -rw-r--r-- | src/client/views/search/SearchItem.tsx | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/client/views/search/SearchItem.tsx b/src/client/views/search/SearchItem.tsx index a995140e2..5c2ced2eb 100644 --- a/src/client/views/search/SearchItem.tsx +++ b/src/client/views/search/SearchItem.tsx @@ -205,13 +205,13 @@ export class SearchItem extends React.Component<SearchItemProps> { let doc1 = Cast(this.props.doc.anchor1, Doc, null); let doc2 = Cast(this.props.doc.anchor2, Doc, null); - doc1 && (doc1.libraryBrush = undefined); - doc2 && (doc2.libraryBrush = undefined); + doc1 && (doc1.libraryBrush = false); + doc2 && (doc2.libraryBrush = false); } } else { let docViews: DocumentView[] = DocumentManager.Instance.getAllDocumentViews(this.props.doc); docViews.forEach(element => { - element.props.Document.libraryBrush = undefined; + element.props.Document.libraryBrush = false; }); } } |
