Commit d5c0a0c1 authored by Jérome Perrin's avatar Jérome Perrin

monaco_editor: improve ZMI view

- make the editor bigger
- use monospace font for params
parent dd820377
...@@ -44,6 +44,10 @@ ...@@ -44,6 +44,10 @@
/* This says "press F10 for full screen but our monaco patch does not support this" */ /* This says "press F10 for full screen but our monaco patch does not support this" */
content: "" !important; content: "" !important;
} }
#editor_container {
height: 100% !important;
min-height: 30rem;
}
.ace_editor { .ace_editor {
display: none; display: none;
} }
...@@ -71,6 +75,12 @@ $script.src = ...@@ -71,6 +75,12 @@ $script.src =
window.monacoEditorWebPackResourceBaseUrl + "/monaco-editor/app.bundle.min.js"; window.monacoEditorWebPackResourceBaseUrl + "/monaco-editor/app.bundle.min.js";
document.head.appendChild($script); document.head.appendChild($script);
/* make "Parameter List" input on python scripts use a monospace font */
var $params = document.getElementById("params");
if ($params) {
$params.classList.add("code");
}
$script.onload = function() { $script.onload = function() {
var $textarea = var $textarea =
document.querySelector(textarea_selector) || document.querySelector(textarea_selector) ||
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment