webbuild.html: fix for editor change callback and other minor fixes

webbuild/html/scripts/webbuild.js

@@ -34,7 +34,6 @@ function checkEnter(event) {
 function checkMinLength(st,len) {
    if (st.length >= len) return true;
    return false;
-   return false;
 }
 
 function suggestSpecName(url) {

webbuild/html/webbuild.html

@@ -40,7 +40,6 @@ window.onbeforeunload = function (e) {
 <link rel="stylesheet" href="/scripts/codemirror/addon/dialog/dialog.css">
 <script src="/scripts/webbuild.js"></script>
 <script type="text/javascript">
-<!--
 var user = "";
 var user_email = "";
 var secret = "";
@@ -160,16 +159,15 @@ function ajax_getvalues(request,confirm) {
        } else if (document.getElementById(nodes[i].nodeName) != undefined) {
           $("#"+nodes[i].nodeName).html(nodes[i].childNodes[0].nodeValue);
           spectext = document.getElementById("spectext");
-          if ((nodes[i].nodeName == "editor") && (spectext != undefined) && (spectext.parentNode != undefined))
-              {
-             editor = CodeMirror.fromTextArea(spectext,
-                { lineNumbers: true,
+          if ((nodes[i].nodeName == "editor") && (spectext != undefined) && (spectext.parentNode != undefined)) {
+             editor = CodeMirror.fromTextArea(spectext,{
+                  lineNumbers: true,
                   fixedGutter: true,
                   tabSize: 4,
                   indentUnit: 4,
-                  indentWithTabs: true,
-                  onChange: function() { editorChanged(); }
-                });
+                  indentWithTabs: true
+                })
+             editor.on('change', editorChanged);
              editor.setSize(null, 500);
           } else if ((nodes[i].nodeName == "output") && (document.getElementById("outputbottom") != undefined)) {
              document.getElementById("outputbottom").scrollTop = document.getElementById("outputbottom").scrollHeight;
@@ -178,7 +176,6 @@ function ajax_getvalues(request,confirm) {
           }
        }
     }
-//alert("nodes done");
     document.getElementById("webbuildform").disabled = false;
     document.getElementById("status").innerHTML = "";
   }
@@ -302,9 +299,8 @@ function ajaxFileUpload(request)
   <span id="operationpanel"></span>
  </div>
  <div style="clear:both"></div>
- </div>
   <span id="window"></span>
-</div>
+ </div>
 </form>
 </span>