With commit c7f6ea0, we include CodeMirror JS Editor in PyLucid.

The files stored under pylucid_project/static/PyLucid/codemirror/

update JavaScript files

To update the compressed JavaScript files, use the python helper script:

The scripts requested a fresh compressed version of all needed files and overwrite the existing one.