cleanup

jsonform/gadget_json_generated_form_child.js

@@ -140,22 +140,19 @@
     }
     input.appendChild(option);
     for (i = 0; i < enum_arr.length; i += 1) {
-      if (enum_arr.hasOwnProperty(i)) {
-        option = document.createElement("option");
-        // XXX use number id for speedup
-        ser_value = JSON.stringify(enum_arr[i]);
-        option.value = ser_value;
-        if (typeof enum_arr[i] === "string") {
-          option.textContent = enum_arr[i];
-        } else {
-          option.textContent = ser_value;
-        }
-        if (deepEqual(enum_arr[i], json_document)) {
-          option.selected = true;
-          selected = true;
-        }
-        input.appendChild(option);
+      option = document.createElement("option");
+      ser_value = JSON.stringify(enum_arr[i]);
+      option.value = ser_value;
+      if (typeof enum_arr[i] === "string") {
+        option.textContent = enum_arr[i];
+      } else {
+        option.textContent = ser_value;
       }
+      if (deepEqual(enum_arr[i], json_document)) {
+        option.selected = true;
+        selected = true;
+      }
+      input.appendChild(option);
     }
     if (json_document !== undefined && !selected) {
       // save original json_document even if it