diff options
| author | Fawn <fangrui_tong@brown.edu> | 2019-04-18 22:13:08 -0400 |
|---|---|---|
| committer | Fawn <fangrui_tong@brown.edu> | 2019-04-18 22:13:08 -0400 |
| commit | fbf1662304e0b3f744827710d728602af4493f25 (patch) | |
| tree | af6c901c62db2c1eb117c13c0d003284a456ad40 /src/client/views/DocumentDecorations.tsx | |
| parent | c6ecd219f61811c3af9776ad8c08c2232db20dfd (diff) | |
changed menu to work like radio buttons:
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 1e936a881..3dcdc596d 100644 --- a/src/client/views/DocumentDecorations.tsx +++ b/src/client/views/DocumentDecorations.tsx @@ -409,7 +409,7 @@ export class DocumentDecorations extends React.Component<{}, { value: string }> let templates: Map<Template, boolean> = new Map(); let doc = SelectionManager.SelectedDocuments()[0]; Array.from(Object.values(Templates)).map(template => { - templates.set(template, doc.hasTemplate(template)); + templates.set(template, doc.Template === template); }); return (<div className="documentDecorations"> |