upgraded CodeMirror to 4.8
enabled CTRL-s shortcut for all editors
fixed code folding, which was broken due to the CodeMirror update
fixed bug, where focusing an editor didn't set codeeditor.current due to changed API
fixed a CS violation
changed references of own class Codeeditor_Controller to self
removed unnecessary inclusion of init.php in Codeeditor_Controller
fixed bug, where default theme was not shown in the configuration
re-added possibility to eschew syntax highlighting
fixed config help texts wrt. metaconfig.php
revised manuals