The code editor is a light-weight code editor based on codemirror.
CodeMirror is a versatile text editor implemented in JavaScript for the browser. It is specialized for editing code and provides for instance code folding. 

Compact mode

Expanded mode

Press F10 to switch between expanded and compact mode: