diff options
| author | Peter Wu <peter@lekensteyn.nl> | 2018-05-11 00:44:30 +0200 |
|---|---|---|
| committer | Peter Wu <peter@lekensteyn.nl> | 2018-05-12 00:47:05 +0200 |
| commit | 913959d74e2d88d1bb593866beedc7af80d34ce9 (patch) | |
| tree | 23de1f5ca2a3dfaae458d56d2761a4022d71d76e /replay | |
| parent | ff610b3898d9cf20cbe1be35b340d3215fd3f929 (diff) | |
| download | qemu-gtk-toggle-menubar.tar.gz | |
gtk: disable the F10 menubar keygtk-toggle-menubar
The F10 key is used in various applications, disable it unconditionally
(do not limit it to grab mode). This property will still work with GTK3,
but as it is deprecated it might be removed in GTK4.
Fixes: https://bugs.launchpad.net/qemu/+bug/1726910
Signed-off-by: Peter Wu <peter@lekensteyn.nl>
Diffstat (limited to 'replay')
0 files changed, 0 insertions, 0 deletions