fix outdated links re: #13

2020-04-18 02:28:53 +02:00
parent a4c161c060
commit f4deaaf87b
20 changed files with 1647 additions and 1900 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
        });