diff options
| author | Bob Zeleznik <zzzman@gmail.com> | 2019-07-04 00:17:15 -0400 |
|---|---|---|
| committer | Bob Zeleznik <zzzman@gmail.com> | 2019-07-04 00:17:15 -0400 |
| commit | 575ee72cd6ddd65d6c02c6f50a3266f632b1b858 (patch) | |
| tree | cd5836aca60a5d9537c97f2e0d13f12f38fa5e04 /src/client/views/presentationview/PresentationElement.tsx | |
| parent | b99e6418eb2c39f91befb002477267699d545683 (diff) | |
highlights current workspace in treeview
Diffstat (limited to 'src/client/views/presentationview/PresentationElement.tsx')
| -rw-r--r-- | src/client/views/presentationview/PresentationElement.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/views/presentationview/PresentationElement.tsx b/src/client/views/presentationview/PresentationElement.tsx index d63c0b066..6896ee452 100644 --- a/src/client/views/presentationview/PresentationElement.tsx +++ b/src/client/views/presentationview/PresentationElement.tsx @@ -377,7 +377,7 @@ export default class PresentationElement extends React.Component<PresentationEle style={{ outlineColor: "maroon", outlineStyle: "dashed", - outlineWidth: BoolCast(p.document.libraryBrush, false) || BoolCast(p.document.protoBrush, false) ? `1px` : "0px", + outlineWidth: BoolCast(p.document.libraryBrush, false) ? `1px` : "0px", }} onClick={e => { p.gotoDocument(p.index, NumCast(this.props.mainDocument.selectedDoc)); e.stopPropagation(); }}> <strong className="presentationView-name"> |