fix nasty key event bug

This commit is contained in:
Fabian Jakobs 2010-04-28 11:25:47 +02:00
commit 528601eb6c

View file

@ -292,12 +292,12 @@ ace.addKeyListener = function(el, callback) {
var lastDown = null; var lastDown = null;
ace.addListener(el, "keydown", function(e) { ace.addListener(el, "keydown", function(e) {
lastDown = e.keyCode; lastDown = e.keyIdentifier || e.keyCode;
return callback(e); return callback(e);
}); });
ace.addListener(el, "keypress", function(e) { ace.addListener(el, "keypress", function(e) {
var keyId = e.keyCode; var keyId = e.keyIdentifier || e.keyCode;
if (lastDown !== keyId) { if (lastDown !== keyId) {
return callback(e); return callback(e);
} else { } else {