Open fonsp opened 2 years ago
Just like the TextField, we want a widget to input text, but with syntax highlighting!
TextField
We should use CodeMirror 5 for this (not 6, too tricky): https://codemirror.net/
There should be a parameter to set the mode, i.e. the programming language, and the default value.
Take a look at the rest of the PlutoUI source code: you should write this as a Pluto notebook!
Just like the
TextField
, we want a widget to input text, but with syntax highlighting!We should use CodeMirror 5 for this (not 6, too tricky): https://codemirror.net/
There should be a parameter to set the mode, i.e. the programming language, and the default value.