diff options
| author | Bob Zeleznik <zzzman@gmail.com> | 2019-09-10 21:36:42 -0400 |
|---|---|---|
| committer | Bob Zeleznik <zzzman@gmail.com> | 2019-09-10 21:36:42 -0400 |
| commit | 4df85ecd5026127c27b147b34398822307715e54 (patch) | |
| tree | dd529cc64f925446257b62a3c0543f2f25f3f6e7 /src/client/views/collections/CollectionTreeView.tsx | |
| parent | a709e21384cef80a85eac9220739c854a96d5313 (diff) | |
fixed search highlighting
Diffstat (limited to 'src/client/views/collections/CollectionTreeView.tsx')
| -rw-r--r-- | src/client/views/collections/CollectionTreeView.tsx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/client/views/collections/CollectionTreeView.tsx b/src/client/views/collections/CollectionTreeView.tsx index 50f03005c..e31fa0b40 100644 --- a/src/client/views/collections/CollectionTreeView.tsx +++ b/src/client/views/collections/CollectionTreeView.tsx @@ -373,6 +373,7 @@ class TreeView extends React.Component<TreeViewProps> { style={{ color: this.props.document.isMinimized ? "red" : "black", background: Doc.IsBrushed(this.props.document) ? "#06121212" : "0", + fontWeight: this.props.document.search_string ? "bold" : undefined, outline: BoolCast(this.props.document.workspaceBrush) ? "dashed 1px #06123232" : undefined, pointerEvents: this.props.active() || SelectionManager.GetIsDragging() ? "all" : "none" }} > |