diff options
author | Dan Ungureanu <udan1107@gmail.com> | 2015-03-09 02:22:56 +0300 |
---|---|---|
committer | Dan Ungureanu <udan1107@gmail.com> | 2015-03-09 02:25:28 +0300 |
commit | 5f8f7ba88e9bc2a166fb6c2730a3bcd9b3a2d996 (patch) | |
tree | 5e61db45ab629a75f8ccbff18b9e889a9c03a2b0 /js/console.js | |
parent | 3a012945aeb9d8638cf56e04d8f583d4cc2f5bb2 (diff) |
RFE #1570, part 2. Added the possibility of permanently using Enter instead of Ctrl+Enter in console.
Signed-off-by: Dan Ungureanu <udan1107@gmail.com>
Diffstat (limited to 'js/console.js')
-rw-r--r-- | js/console.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/js/console.js b/js/console.js index 3d95e7a234..6f37411da6 100644 --- a/js/console.js +++ b/js/console.js @@ -107,7 +107,7 @@ var PMA_console = { if(tempConfig.currentQuery === true) { $('#pma_console_options input[name=current_query]').prop('checked', true); } - if(tempConfig.enterExecutes === true) { + if(ConsoleEnterExecutes === true) { $('#pma_console_options input[name=enter_executes]').prop('checked', true); } } else { |