diff options
author | emersion <contact@emersion.fr> | 2018-06-08 00:04:33 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-08 00:04:33 +0100 |
commit | 32f9699359a4caeb833c4f38c61f065d06d551f6 (patch) | |
tree | 5e959f37edd7fdefadaa1b30a7a4204679c79815 /examples/.gitignore | |
parent | 6f895081e1d05e651543187e11766259e2b4f798 (diff) | |
parent | 551700e88722cf2ec77500b913c8164495d179c6 (diff) |
Merge pull request #1029 from emersion/wl-backend-keyboard-focus-keys
backend/wayland: fix keyboard keys not pressed/released when focus changes
Diffstat (limited to 'examples/.gitignore')
0 files changed, 0 insertions, 0 deletions