Static mdbook::theme::playpen_editor::JS [] [src]

pub static JS: &'static [u8] = b"window.editors = [];\n(function(editors) {\n    if (typeof(ace) === \'undefined\' || !ace) {\n        return;\n    }\n\n    $(\".editable\").each(function() {\n        let editor = ace.edit(this);\n            editor.setOptions({\n            highlightActiveLine: false,\n            showPrintMargin: false,\n            showLineNumbers: false,\n            showGutter: false,\n            maxLines: Infinity\n        });\n\n        editor.$blockScrolling = Infinity;\n\n        editor.getSession().setMode(\"ace/mode/rust\");\n\n        editor.originalCode = editor.getValue();\n\n        editors.push(editor);\n    });\n})(window.editors);\n"