I believe the editor is ACE: https://github.com/blog/905-edit-like-an-ace https://github.com/blog/905-edit-like-an-ace https://github.com/ajaxorg/ace https://

I believe the editor is ACE: https://github.com/blog/905-edit-like-an-ace https://github.com/blog/905-edit-like-an-ace https://github.com/ajaxorg/ace https://github.com/ajaxorg/ace