tree a5dbffa3c728b197a7fd17f7426cfb6fa8f5e252
parent 6bded3fd957f13f74e9ad1599eecaae851907d67
author Dima Ryazanov <dima@gmail.com> 1313540732 -0700
committer Kristian Høgsberg <krh@bitplanet.net> 1313544774 -0400

Don't discard key press / key release events if the keys are different

Keystrokes get dropped if the user types too quickly.