diff --git a/index.html b/index.html index f3e9ed7..244a369 100755 --- a/index.html +++ b/index.html @@ -441,7 +441,6 @@ function updateGutters(cm) { } } function selectLanguage() { - console.log("lang change " + $("#select_language").val()) editor.setOption("mode", $("#select_language").val().toLowerCase()); }