Code Editor : typeset