diff options
| author | bob <bcz@cs.brown.edu> | 2019-05-02 12:19:31 -0400 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2019-05-02 12:19:31 -0400 |
| commit | 5f8f133040918713ace577cfe82f38254ea07964 (patch) | |
| tree | 3955761d53b2df4138ecd2771ab978861bd38854 /src/client/views/TemplateMenu.tsx | |
| parent | e8c14f1d0a301d6bb5ca2ce0e048fb4fb3f7728f (diff) | |
library and workspace stuff.
Diffstat (limited to 'src/client/views/TemplateMenu.tsx')
| -rw-r--r-- | src/client/views/TemplateMenu.tsx | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/client/views/TemplateMenu.tsx b/src/client/views/TemplateMenu.tsx index 7be846e05..f29d9c8a1 100644 --- a/src/client/views/TemplateMenu.tsx +++ b/src/client/views/TemplateMenu.tsx @@ -59,12 +59,9 @@ export class TemplateMenu extends React.Component<TemplateMenuProps> { } render() { - trace(); let templateMenu: Array<JSX.Element> = []; - this.props.templates.forEach((checked, template) => { - console.log("checked + " + checked + " " + this.props.templates.get(template)); - templateMenu.push(<TemplateToggle key={template.Name} template={template} checked={checked} toggle={this.toggleTemplate} />); - }); + this.props.templates.forEach((checked, template) => + templateMenu.push(<TemplateToggle key={template.Name} template={template} checked={checked} toggle={this.toggleTemplate} />)); return ( <div className="templating-menu" > |