Fix for issue #546

Detects if the key pressed is really CTRL not Alt Gr

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;
+                }
             }
         });
     };