This implements a proper backend-based syntax highlighting using the new CodeMirror 6 Decoration API.
Also disables some of the default conflicting settings provided by CodeMirror.
The color of the highlighting changes with the theme.
Clicking on the previously selected node toggles the highlighting.
This implements a proper backend-based syntax highlighting using the new CodeMirror 6 Decoration API. Also disables some of the default conflicting settings provided by CodeMirror.
fixes #628