From f6321c24840e40920bca64c8e68033f0918fc0ef Mon Sep 17 00:00:00 2001
From: franga2000 <miha.frangez@gmail.com>
Date: Sun, 9 Mar 2014 15:56:12 +0100
Subject: [PATCH] Fix for issue #546

Detects if the key pressed is really CTRL not Alt Gr
---
 components/keybindings/init.js | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/components/keybindings/init.js b/components/keybindings/init.js
index 7fe0e64..c38264d 100755
--- a/components/keybindings/init.js
+++ b/components/keybindings/init.js
@@ -17,8 +17,10 @@
             .keydown(function(e) {
             if (!args) args = [];
             if (e.keyCode == key && (e.ctrlKey || e.metaKey)) {
-                callback.apply(this, args);
-                return false;
+                if (!(e.ctrlKey && event.altKey)) {
+                    callback.apply(this, args);
+                    return false;
+                }
             }
         });
     };