_renderExecutionLogsResult()

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,
      },
    });
  }