From 35abe2122a27325c06bf32eba58ef00daedbe9a5 Mon Sep 17 00:00:00 2001
From: Silvan <silvan.calarco@mambasoft.it>
Date: Wed, 1 May 2024 19:13:24 +0200
Subject: [PATCH] webbuild.html: fix for editor change callback and other minor
 fixes

---
 webbuild/html/scripts/webbuild.js |  1 -
 webbuild/html/webbuild.html       | 18 +++++++-----------
 2 files changed, 7 insertions(+), 12 deletions(-)

diff --git a/webbuild/html/scripts/webbuild.js b/webbuild/html/scripts/webbuild.js
index 138f97b..57e0493 100644
--- a/webbuild/html/scripts/webbuild.js
+++ b/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) {
diff --git a/webbuild/html/webbuild.html b/webbuild/html/webbuild.html
index d90b220..fcc15ad 100644
--- a/webbuild/html/webbuild.html
+++ b/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>