webbuild: restore displaying line numbers in codemirror editor

scripts/webbuild/webbuild-2.js

@@ -95,10 +95,11 @@ function ajax_getvalues(request,confirm) {
           if ((nodes[i].nodeName == "editor") && (spectext != undefined) && (spectext.parentNode != undefined))
               {
              editor = CodeMirror.fromTextArea(spectext, {
-                  lineNumbers: false,
-                  tabSize: 4,
-                  indentUnit: 4,
-                  indentWithTabs: true
+                  lineNumbers:true,
+                  fixedGutter:true,
+                  tabSize:4,
+                  indentUnit:4,
+                  indentWithTabs:true
              });
              editor.on('change', function() { editorChanged(); });
              editor.setSize(null, 500);
@@ -127,7 +128,6 @@ function ajax_getvalues(request,confirm) {
         if (to > start) {
            var customscroll = document.getElementById("matrix").scrollTop <
                               (document.getElementById("matrix").scrollHeight - document.getElementById("matrix").clientHeight);
-        console.log(this.responseText.substring(start,to));
            document.getElementById("matrix").innerHTML =
               "<div id=matrixoutput><pre>" + this.responseText.substring(start,to).replace("</pre>","&lt;/pre&gt;") + "</pre></div>";
            currpos = document.getElementById("matrixoutput").innerHTML.length;

styles/webbuild.css

@@ -262,11 +262,13 @@ input#repsearchtext {
    font-size:10pt;
    font-family:monospace;
    line-height:1.1em;
+   border:1px solid #2b6600;
+/*   font-size:12px; // causes problems*/
 }
 .editor {
    float:left;
    width:100%;
-   height:400px;
+   height:500px;
    border:1px solid #cccccc;
    padding:0px;
    margin:0px;
@@ -436,11 +438,6 @@ input {
    column-rule: none;*/
 }
 
-.CodeMirror {
-   border:1px solid #2b6600;
-//   font-size:12px; // causes problems
-}
-
 .jspVerticalBar {
    width:5px;
 }