discuss.CodeMirror
drawSelection extension ignores custom line-height
ziyunfei
January 20, 2023, 9:46am
1
".cm-scroller": { lineHeight: "22px", },
drawSelection:
native selection:
ziyunfei
January 20, 2023, 9:49am
2