diff --git a/src/theme.ts b/src/theme.ts index d35f7ee5..26e91187 100644 --- a/src/theme.ts +++ b/src/theme.ts @@ -58,6 +58,7 @@ export const baseTheme = buildTheme("." + baseThemeID, { display: "block", whiteSpace: "pre", wordWrap: "normal", // https://github.com/codemirror/codemirror.next/issues/456 + WebkitUserModify: "read-write-plaintext-only", boxSizing: "border-box", padding: "4px 0",