[#1887][#1890] Swap Codemirror doc when file id changes#1902

catarak merged 2 commits intodevelopprocessing/p5.js-web-editor:developfrom

bug/copying-filesprocessing/p5.js-web-editor:bug/copying-filesCopy head branch name to clipboard