removed unnecessary line

2013-01-09 01:47:30 +02:00 · 2013-01-09 01:47:30 +02:00 · aa2d687a15
commit aa2d687a15
parent 916d44d3f4
1 changed files with 0 additions and 1 deletions
--- a/js/functions.js
+++ b/js/functions.js
@ -3386,7 +3386,6 @@ AJAX.registerOnload('functions.js', function() {
            // ctrl-enter is 10 in chrome and ie, but 13 in ff
            if (e.ctrlKey && (e.keyCode == 13 || e.keyCode == 10)) { 
                $("#button_submit_query").submit();
-                return false;
            }
        });
        codemirror_editor.focus();