| commit | c31f624141ab03baf243441467806753b9c2bb74 | [log] [tgz] |
|---|---|---|
| author | Kristian Høgsberg <krh@bitplanet.net> | Tue Apr 29 14:19:20 2014 -0700 |
| committer | Kristian Høgsberg <krh@bitplanet.net> | Tue Apr 29 14:21:46 2014 -0700 |
| tree | a1344b9faf61a5c81c725108f4b370180f1d44fc | |
| parent | 41f7ebc36acaa2289f4f21d7fd7613364048a4fb [diff] |
window.c: Prevent key event delivery while a grab is active Ideally, we'll update the key event handling to deliver events to widgets, but in the meantime, just blocking key event delivery while a grab is active goes a long way.