Fixed AltGr hotkeys system issue.

diff --git a/js/inserts.js b/js/inserts.js
index 5e6774b26435577ad54fd3c3ed0390e64f5a210a..b16a11538f14c518292147060dc6d73f1498f206 100644 (file)
--- 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);