From 263b167da42b32354f94841d7c7393d0720a0bab Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@student.hpi.de>
Date: Mon, 2 Dec 2019 10:13:32 +0100
Subject: [PATCH] Set Tomorrow theme for Python (via Hack)

---
 app/assets/javascripts/editor/editor.js.erb | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/app/assets/javascripts/editor/editor.js.erb b/app/assets/javascripts/editor/editor.js.erb
index 33271a44..7f6c54fa 100644
--- a/app/assets/javascripts/editor/editor.js.erb
+++ b/app/assets/javascripts/editor/editor.js.erb
@@ -252,7 +252,11 @@ configureEditors: function () {
       this.editors.push(editor);
       this.editor_for_file.set($(element).parent().data('filename'), editor);
       var session = editor.getSession();
-      session.setMode($(element).data('mode'));
+      var mode = $(element).data('mode')
+      session.setMode(mode);
+      if (mode === 'ace/mode/python') {
+        editor.setTheme('ace/theme/tomorrow')
+      }
       session.setTabSize($(element).data('indent-size'));
       session.setUseSoftTabs(true);
       session.setUseWrapMode(true);