Update monaco editor: lazy load custom languages and add Haskell syntax highlighting
Update the submodule of our custom monaco editor library.
Instead of callingSubmitted by Max on 5 July 2023 at 16:13
x_install();for every custom language
xfrom WebLab on document ready script, the monaco editor now manages what languages to install and it will do so on demand. This update also facilitates the use of TextMate grammars for custom languages, where Haskell is the first use case.