redesign

2020-01-26 20:41:41 +01:00
parent d0a018bfd1
commit c52fa3085a
23 changed files with 1267 additions and 914 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
        });