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

[catarak]

Fixes #1887, fixes #1890

I have verified that this pull request:

• has no linting errors (npm run lint)
• is from a uniquely-named feature branch and has been rebased on top of the latest develop branch. (If I was asked to make more changes, I have made sure to rebase onto develop then too)
• is descriptively named and links to an issue number, i.e. Fixes #123

[release-com]

Release Environments

This pull request environment is provided by Release, learn more!
To see the status of the environment click on Environment Status below.

• p5.js-web-editor
  • app-ted116a-p5-js-web-editor.releaseapp.io
  • preview-ted116a-p5-js-web-editor.releaseapp.io

🔧Environment Status : https://app.releasehub.com/public/Processing%20Foundation/env-27f9fa72f4

[catarak]

@JetStarBlues would you mind testing this on the Release Environment deployment? I'm pretty sure I was able to fix this based on your steps to reproduce, but it would be helpful to have your feedback 😄

[JetStarBlues]

🎉 Awesome, thank you!

would you mind testing this on the Release Environment deployment

Gladly! I'm guessing this is the link in the post above by the releasehub bot?

Edit, the links don't go anywhere. Do you mean building the repo locally as-is (using the develop or release branch...)? Sorry, I'm not familiar with deployment.

Edit2, reading the documentation. Do you mean follow the instructions here to "[test] the production environment locally"?