several improvements, see #2 for more details

2020-04-10 20:26:41 +02:00
parent 08cda06ade
commit 32bedb934c
22 changed files with 2236 additions and 2356 deletions
--- a/book/editor.js
+++ b/book/editor.js
@@ -6,14 +6,12 @@ window.editors = [];
    }

    Array.from(document.querySelectorAll('.editable')).forEach(function(editable) {
-        let display_line_numbers = window.playpen_line_numbers || false;
-
        let editor = ace.edit(editable);
            editor.setOptions({
            highlightActiveLine: false,
            showPrintMargin: false,
-            showLineNumbers: display_line_numbers,
-            showGutter: display_line_numbers,
+            showLineNumbers: false,
+            showGutter: false,
            maxLines: Infinity,
            fontSize: "0.875em" // please adjust the font size of the code in general.css
        });