I believe the editor is ACE: https://github.com/blog/905-edit-like-an-ace https://github.com/ajaxorg/ace
It appears that there is a free version of this article available here: https://www.u-cursos.cl/ingenieria/2009/1/IN578/1/material_d...
I believe the editor is ACE: https://github.com/blog/905-edit-like-an-ace https://github.com/ajaxorg/ace
It appears that there is a free version of this article available here: https://www.u-cursos.cl/ingenieria/2009/1/IN578/1/material_d...