diff options
author | bob <bcz@cs.brown.edu> | 2019-09-13 17:30:02 -0400 |
---|---|---|
committer | bob <bcz@cs.brown.edu> | 2019-09-13 17:30:02 -0400 |
commit | dd7679295b84ceba49b8d581bb64f97cc1a86fbb (patch) | |
tree | caf3ffb20a526fc65f31900dabc1bf90bc132adb /src/client/views/DocumentDecorations.tsx | |
parent | 233893698083cbcfcf39ddad8b57049aeb1ba842 (diff) |
more rule provider fixes
Diffstat (limited to 'src/client/views/DocumentDecorations.tsx')
-rw-r--r-- | src/client/views/DocumentDecorations.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/views/DocumentDecorations.tsx b/src/client/views/DocumentDecorations.tsx index ebdf2a749..ac103b2ea 100644 --- a/src/client/views/DocumentDecorations.tsx +++ b/src/client/views/DocumentDecorations.tsx @@ -848,7 +848,7 @@ export class DocumentDecorations extends React.Component<{}, { value: string }> let templates: Map<Template, boolean> = new Map(); Array.from(Object.values(Templates.TemplateList)).map(template => { let checked = false; - SelectionManager.SelectedDocuments().map(doc => checked = checked || (doc.props.Document["show" + template.Name] !== undefined)); + SelectionManager.SelectedDocuments().map(doc => checked = checked || (doc.layoutDoc["show" + template.Name] !== undefined)); templates.set(template, checked); }); |