Cm6 themes#3764

khanniie wants to merge 2 commits intodevelop-codemirror-v6processing/p5.js-web-editor:develop-codemirror-v6from

cm6-themesprocessing/p5.js-web-editor:cm6-themesCopy head branch name to clipboard