in web/src/components/panels/result-panel.js [214:233]
_renderExecutionLogsResult() {
let extensions = [basicSetup, EditorView.editable.of(false), json()];
if (this._wrapLinesInput()?.checked) {
extensions.push(EditorView.lineWrapping);
}
let editor = new EditorView({
extensions: extensions,
parent: this._resultPanel(),
});
editor.dispatch({
changes: {
from: 0,
to: editor.state.doc.length,
insert: this.result.logs,
},
});
}