crowdAI/crowdai

<textarea id='grader-logs'>
  <%= @presenter.grader_logs %>
</textarea>

<script>
var editor = CodeMirror.fromTextArea(document.getElementById('grader-logs'), {
   lineNumbers: true,
   editable: false,
   readOnly: true,
   syntaxHighlighting: 'bash',
   mode: true
 });
</script>