Skip to content
This repository has been archived by the owner on Feb 23, 2022. It is now read-only.

Commit

Permalink
boolean deleted temporary
Browse files Browse the repository at this point in the history
  • Loading branch information
omedtjeee committed Apr 29, 2021
1 parent da5a062 commit 859ba15
Showing 1 changed file with 1 addition and 3 deletions.
4 changes: 1 addition & 3 deletions static/js/app.js
Original file line number Diff line number Diff line change
Expand Up @@ -8,9 +8,7 @@
// We expose the editor globally so it's available to other functions for resizing
var editor = window.editor = ace.edit("editor");
editor.setTheme("ace/theme/monokai");
bool highlighting = false;

if (highlighting == true){
if (window.State.level == 1){
window.editor.session.setMode("ace/mode/level1");
}
Expand All @@ -20,7 +18,7 @@
if (window.State.level == 3){
window.editor.session.setMode("ace/mode/level3");
}
}



// Load existing code from session, if it exists
Expand Down

0 comments on commit 859ba15

Please sign in to comment.