@hmadelaine: hi

yeah, the codemirror integration part is not really intended for use outside of the site

I didn’t do a good job in making it reusable (i.e. an actual codemirror addon)

I would love to help any way I can though. there were some rough edges and some uncertainties I had with the API that you could probably solve faster than I could

@shaunlebron: Thanks for you answer. Maybe I could try to extract the code as a codemirror addon.

@hmadelaine: yeah I think it’s definitely possible

@shaunlebron: Ok I will study that next week 😉 have a good week end !