remove console.log
This commit is contained in:
parent
e821832284
commit
4c934ef3d5
|
@ -441,7 +441,6 @@ function updateGutters(cm) {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
function selectLanguage() {
|
function selectLanguage() {
|
||||||
console.log("lang change " + $("#select_language").val())
|
|
||||||
editor.setOption("mode", $("#select_language").val().toLowerCase());
|
editor.setOption("mode", $("#select_language").val().toLowerCase());
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue