Bugfix - don't use control keys if alt key is also down (to fix Polish)

diff --git a/lib/editor/htmlarea.php b/lib/editor/htmlarea.php
index d59bc7fe2709250e4bdf9994b6e09d81d0e64842..27e88de41fd78d9e3387fc60f49014958a4d64b8 100644 (file)
--- a/lib/editor/htmlarea.php
+++ b/lib/editor/htmlarea.php
@@ -1464,7 +1464,7 @@ HTMLArea.prototype.execCommand = function(cmdID, UI, param) {
 HTMLArea.prototype._editorEvent = function(ev) {
        var editor = this;
        var keyEvent = (HTMLArea.is_ie && ev.type == "keydown") || (ev.type == "keypress");
-       if (keyEvent && ev.ctrlKey) {
+       if (keyEvent && ev.ctrlKey && ! ev.altKey) {
                var sel = null;
                var range = null;
                var key = String.fromCharCode(HTMLArea.is_ie ? ev.keyCode : ev.charCode).toLowerCase();