Add backend for tips and enable markdown support

2020-10-08 19:04:10 +02:00
parent dce5998a2a
commit e550828c58
16 changed files with 171 additions and 10 deletions
--- a/app/assets/javascripts/editor/editor.js.erb
+++ b/app/assets/javascripts/editor/editor.js.erb
@ -315,6 +315,9 @@ var CodeOceanEditor = {
        }).fail(_.noop)
            .always(function () {
                ace.edit(editor).session.setMode(newMode);
+                if (newMode === 'ace/mode/python') {
+                    ace.edit(editor).setTheme('ace/theme/tomorrow')
+                }
            });
    },