Method elem

src/ide.ts:2074–2084

()

  }

  elem() {
    return {c: `editor-root`, children: [
      this.navigator.render(),
      {c: "main-pane", children: [
        this.noticesElem(),
        this.editor.render(),
        this.overwriteId ? this.overwritePrompt() : undefined,
      ]},
      this.comments.render()
    ]};
  }

  noticesElem() {
    let items = [];