variable to turn on/off highlighter

oscarkarnalim · Apr 30, 2021 · a499eb4 · a499eb4
1 parent e4a72f5
commit a499eb4
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/static/js/app.js b/static/js/app.js
@@ -9,6 +9,10 @@
   var editor = window.editor = ace.edit("editor");
   editor.setTheme("ace/theme/monokai");
 
+  // a variable which turns on(1) highlighter or turns it off(0)
+  var highlighter = 0;
+
+  if (highlighter == 1){
         if (window.State.level == 1){
           window.editor.session.setMode("ace/mode/level1");
         }
@@ -18,6 +22,7 @@
         if (window.State.level == 3){
           window.editor.session.setMode("ace/mode/level3");
         }
+  }