bsherin
commented
4 months ago - Will listen for setting change events from the server
- Have a settings context rather than a theme context
- Have an associated drawer where settings can be changed.
- Then can change how this works in ReactCodemirror