Changing the Font Size of CM6

larsp · February 27, 2021, 10:32pm

Here is such a minimal example, to get people started:

import { Extension } from "@codemirror/state";
import { EditorView } from "@codemirror/view";

const FontSizeTheme = EditorView.theme({
  $: {
    fontSize: "11pt"
  }
});

const FontSizeThemeExtension: Extension = [FontSizeTheme];