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.dev
parent
41f7ebc36a
commit
c31f624141
Loading…
Reference in new issue