Closed
Description
This has two parts:
- updating the backend with analysis and compile support, when the implementations are ready
- updating the front-end with the new syntax highlighting; this depends on a new publish of codemirror.dart, which itself needs a new release of the codemirror library (the change to codemirror JS is already in, and releases can be tracked here: https://github.com/codemirror/CodeMirror/releases)