From 916d44d3f450b336f7af8817704dab3966e993ce Mon Sep 17 00:00:00 2001
From: jous <git@jous.dudmail.com>
Date: Wed, 9 Jan 2013 01:36:06 +0200
Subject: [PATCH] moved a comment to previous line

---
 js/functions.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/js/functions.js b/js/functions.js
index 81953275f1..f1d5588b74 100644
--- a/js/functions.js
+++ b/js/functions.js
@@ -3383,7 +3383,8 @@ AJAX.registerOnload('functions.js', function() {
         });
         codemirror_wrapper_element = codemirror_editor.getWrapperElement();
         $(codemirror_wrapper_element).bind('keypress', function (e) {
-            if (e.ctrlKey && (e.keyCode == 13 || e.keyCode == 10)) { // ctrl-enter is 10 in chrome and ie, but 13 in ff
+            // 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;
             }