Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
In working on readonly mode for Javalab, I found that there are some relevant features that are only available in a 0.18.x release (namely, preventing copy/paste when your Code Mirror is in readonly mode). This PR bumps all Codemirror packages to 0.18.x. This change broke our Dark/Light mode, so it includes changes to resolve those issues. More info on the changes in 0.18 is here.
Testing story
I tested these changes manually by switching back and forth between light and dark mode and generally playing around with the editor. It appears these packages are only used in Javalab currently, so I only tested there.
Follow-up work
Will follow this up with work on read only mode.