Function setStringValue

frontend/src/react/components/ExprEditor.tsx:1067–1074

(v: string)

  };

  const setStringValue = (v: string) => {
    doUpdate((group) => {
      const cond = group.args[operandIndex] as ConditionExpr;
      (cond.args as unknown[])[1] = isNumberFactor(cond.args[0] as Factor)
        ? Number(v)
        : v;
    });
  };
  const setNumberValue = (v: number) => {
    doUpdate((group) => {
      const cond = group.args[operandIndex] as ConditionExpr;