diff --git a/webapp/src/pxtjson.tsx b/webapp/src/pxtjson.tsx index b2c83aa31ba4..0285e08db9e7 100644 --- a/webapp/src/pxtjson.tsx +++ b/webapp/src/pxtjson.tsx @@ -167,12 +167,26 @@ export class Editor extends srceditor.Editor { applyUserConfig={this.applyUserConfig} /> )} {pxtJsonOptions.map(option => - this.applyPropertyCheckbox(option, value)} - /> + option.type === "checkbox" ? ( + this.applyPropertyCheckbox(option, value)} + /> + ) : option.type === "input" ? ( + { + (c as any)[option.property] = v; + this.parent.forceUpdate(); + }} + autoComplete={false} + /> + ) : undefined )}