From 31629799f984d0237fe73f366d3d3d75448f1f34 Mon Sep 17 00:00:00 2001 From: Janusz Dobrowolski Date: Mon, 8 Dec 2008 16:14:34 +0000 Subject: [PATCH] Fixed AltGr hotkeys system issue. --- js/inserts.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/js/inserts.js b/js/inserts.js index 5e6774b2..b16a1153 100644 --- a/js/inserts.js +++ b/js/inserts.js @@ -307,7 +307,7 @@ function setHotKeys() { document.onkeydown = function(ev) { ev = ev||window.event; key = ev.keyCode||ev.which; - if (key == 18) { // start selection + if (key == 18 && !ev.ctrlKey) { // start selection, skip Win AltGr _hotkeys.alt = true; _hotkeys.focus = -1; return stopEv(ev); -- 2.30.2