Function mkNumInput

packages/sdk-playground/src/main.ts:1108–1114

(placeholder: string, defaultValue = "")

}

function mkNumInput(placeholder: string, defaultValue = ""): HTMLInputElement {
  const i = document.createElement("input");
  i.type = "number";
  i.placeholder = placeholder;
  i.value = defaultValue;
  return i;
}

function mkSelect(opts: string[], defaultVal: string): HTMLSelectElement {
  const s = document.createElement("select");