use html5 `pattern` attribute

gadget_json_generated_form.js

@@ -688,6 +688,9 @@
           input.type = "number";
         } else {
           input.type = "text";
+          if (json_field.pattern) {
+            input.pattern = json_field.pattern;
+          }
         }
       }
     }