Function buildEditor

web-build/src/editor.ts:511–537

(
  parent: HTMLElement,
  initialCode: string,
  extra: Extension[],
  onChange?: (code: string) => void,
)

const baseKeymap = [indentWithTab, ...closeBracketsKeymap, ...defaultKeymap, ...historyKeymap];

function buildEditor(
  parent: HTMLElement,
  initialCode: string,
  extra: Extension[],
  onChange?: (code: string) => void,
): WatEditor {
  const extensions: Extension[] = [...baseExtensions, ...extra];
  if (onChange) {
    extensions.push(
      EditorView.updateListener.of((update) => {
        if (update.docChanged) onChange(update.state.doc.toString());
      }),
    );
  }
  const view = new EditorView({
    state: EditorState.create({ doc: initialCode, extensions }),
    parent,
  });
  return {
    view,
    getValue: () => view.state.doc.toString(),
    setValue(code: string) {
      view.dispatch({ changes: { from: 0, to: view.state.doc.length, insert: code } });
    },
    destroy: () => view.destroy(),
  };
}

export function createJsEditor(
  parent: HTMLElement,