Reordered everything again.

2016-09-09 18:08:41 +02:00
parent 87d1b2388d
commit 70040b3c6b
6 changed files with 209 additions and 123 deletions
--- a/app/assets/javascripts/editor.js.erb
+++ b/app/assets/javascripts/editor.js.erb
@@ -12,7 +12,9 @@ $(function() {
      CodeOceanEditorSubmissions,
      CodeOceanEditorTurtle,
      CodeOceanEditorWebsocket,
-      CodeOceanEditorPrompt
+      CodeOceanEditorPrompt,
+      CodeOceanEditorCodePilot,
+      CodeOceanEditorRequestForComments
  );

  if ($('#editor').isPresent() && CodeOceanEditor) {