change editor theme

2015-09-28 21:11:52 +01:00
parent 69aeb4633d
commit 77aff61d70
6 changed files with 13 additions and 17 deletions
--- a/assets/src/js/app.js
+++ b/assets/src/js/app.js
@@ -348,7 +348,7 @@ $(document).on('ready pjax:success', function() {
    if (textarea[0]) {
      options = {
        mode: textarea.data("mode"),
-        theme: 'mdn-like',
+        theme: 'ttcn',
        lineWrapping: true,
        lineNumbers: true,
        scrollbarStyle: null