Codemirror editor input features!

[shimamooo]

Motivation

• Switch theme in editor, add extensions such as line wrap, add linting - all good features for the best possible editor!
• Codemirror makes another end goal of collaborative editing possible https://codemirror.net/6/examples/collab/

Brief instructions

• Look into Codemirror documentation https://codemirror.net/6
• Look into rodemirror - the React codemirror implementation we use: documentation https://github.com/sachinraja/rodemirror
• Use the existing code (already have line wrapping and themes set up) and use the codemirror api to add a lot of their possible features!