easyctf/easyctf-2017
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Fix syntax highlighting

Browse source
This commit is contained in:
James Wang 2016-04-19 10:14:56 -04:00
parent 451230f440
commit b428bef808
No known key found for this signature in database
GPG key ID: 5B80C0B3F263CD5B
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
web/pages/programming.html
View file

@ -28,10 +28,11 @@
<script> <script>
var update_highlighting = function() { var update_highlighting = function() {
var language = $("#language").val(); var language = $("#language").val();
if (language != "python3") { if (language == "python3") {
var editor = ace.edit("editor"); language = "python";
editor.getSession().setMode("ace/mode/" + language);
} }
var editor = ace.edit("editor");
editor.getSession().setMode("ace/mode/" + language);
} }
var submit = function() { var submit = function() {