3 ms·I believe this is CodeMirror [1], not monaco. [1] https://codemirror.net/ https://codemirror.net/by xuejie 8y agoI believe this is CodeMirror [1], not monaco. [1] https://codemirror.net/ https://codemirror.net/