From f180824158c5cd12da7ff07f6a50eb09090e03db Mon Sep 17 00:00:00 2001
From: Achilles-96 <raghuram.vadapalli@research.iiit.ac.in>
Date: Tue, 21 Jun 2016 12:27:33 +0530
Subject: [PATCH] Fixes #12330 - Shortcut for closing console

Signed-off-by: Raghuram Vadapalli <raghuram.vadapalli@research.iiit.ac.in>
---
 js/shortcuts_handler.js | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/js/shortcuts_handler.js b/js/shortcuts_handler.js
index c30e18f813..530a1bd9ee 100644
--- a/js/shortcuts_handler.js
+++ b/js/shortcuts_handler.js
@@ -43,6 +43,11 @@ $(document).ready(function() {
             PMA_console.toggle();
         }
 
+        if( e.ctrlKey && e.keyCode == keyK ) {
+            e.preventDefault();
+            PMA_console.toggle();
+        }
+
         if( e.target.nodeName === 'INPUT' || e.target.nodeName === 'TEXTAREA' || e.target.nodeName === 'SELECT' ) {
             return;
         }
@@ -53,6 +58,7 @@ $(document).ready(function() {
             databaseOp = true;
         }
         else if(e.keyCode === keyK) {
+            e.preventDefault();
             PMA_console.toggle();
         }
         else if(e.keyCode === keyS) {