openmamba/autodist
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

webbuild: set codemirror height to 500

Browse Source
This commit is contained in:
Silvan 2024-04-18 20:07:20 +02:00
parent 72ce4f5115
commit 007b280870
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
webbuild/html/webbuild.html
View File

@ -164,11 +164,13 @@ function ajax_getvalues(request,confirm) {
{ {
editor = CodeMirror.fromTextArea(spectext, editor = CodeMirror.fromTextArea(spectext,
{ lineNumbers: true, { lineNumbers: true,
fixedGutter: true,
tabSize: 4, tabSize: 4,
indentUnit: 4, indentUnit: 4,
indentWithTabs: true, indentWithTabs: true,
onChange: function() { editorChanged(); } onChange: function() { editorChanged(); }
}); });
editor.setSize(null, 500);
} else if ((nodes[i].nodeName == "output") && (document.getElementById("outputbottom") != undefined)) { } else if ((nodes[i].nodeName == "output") && (document.getElementById("outputbottom") != undefined)) {
document.getElementById("outputbottom").scrollTop = document.getElementById("outputbottom").scrollHeight; document.getElementById("outputbottom").scrollTop = document.getElementById("outputbottom").scrollHeight;
} else if ((nodes[i].nodeName == "processes")) { } else if ((nodes[i].nodeName == "processes")) {