devtools.js in appscms-tools-theme-3.4.7

- old
+ new

@@ -1,6 +1,7 @@
 let input_editor, output_editor, data;
 output_editor = ace.edit("output_editor");
+output_editor.setReadOnly(true)
 output_editor.session.setMode("ace/mode/json");
 input_editor = ace.edit("input_editor");
 input_editor.session.setMode("ace/mode/json");
 let upload_div_inner = document.getElementById("upload_div_inner")
 let file_upload = document.getElementById("file_upload")
\ No newline at end of file