remove title serialization for string in enum

jsonform/gadget_json_generated_form_child.js

@@ -119,7 +119,11 @@
         // XXX use number id for speedup
         ser_value = JSON.stringify(enum_arr[i]);
         option.value = ser_value;
-        option.textContent = ser_value;
+        if (typeof enum_arr[i] === "string") {
+          option.textContent = enum_arr[i];
+        } else {
+          option.textContent = ser_value;
+        }
         if (enum_arr[i] === json_document) {
           option.selected = true;
           selected = true;
@@ -134,7 +138,11 @@
       option = document.createElement("option");
       ser_value = JSON.stringify(json_document);
       option.value = ser_value;
-      option.textContent = ser_value;
+      if (typeof json_document === "string") {
+        option.textContent = json_document;
+      } else {
+        option.textContent = ser_value;
+      }
       option.selected = true;
       input.appendChild(option);
     }