2019-07-24 21:22:10 +00:00
|
|
|
extends ./editor_template
|
2019-06-22 17:51:29 +00:00
|
|
|
block content
|
2019-07-24 21:22:10 +00:00
|
|
|
pre#editor #{prettyd}
|
2019-07-24 20:30:51 +00:00
|
|
|
|
|
|
|
|
block scripts
|
|
|
|
|
script(src="https://cdnjs.cloudflare.com/ajax/libs/ace/1.4.5/ace.js")
|
|
|
|
|
script.
|
|
|
|
|
const editor = ace.edit('editor');
|
2019-07-25 02:01:59 +00:00
|
|
|
editor.setTheme(window.devbug_editor_theme);
|
2019-07-24 20:30:51 +00:00
|
|
|
editor.session.setMode('ace/mode/json');
|
|
|
|
|
editor.setOption('readOnly', true);
|
