diff options
| author | Peter Wu <peter@lekensteyn.nl> | 2018-05-11 00:27:51 +0200 |
|---|---|---|
| committer | Peter Wu <peter@lekensteyn.nl> | 2018-05-12 00:47:05 +0200 |
| commit | ff610b3898d9cf20cbe1be35b340d3215fd3f929 (patch) | |
| tree | 7052f48a581b10a97788fd68b85b5de0e9069220 /linux-headers | |
| parent | c74e62ee3e2dc2955e07d004c71badecb68a84eb (diff) | |
| download | qemu-ff610b3898d9cf20cbe1be35b340d3215fd3f929.tar.gz | |
gtk: make it possible to hide the menu bar
Saves some space and disables the F10 button as side-effect.
Fixes: https://bugs.launchpad.net/qemu/+bug/1726910
Signed-off-by: Peter Wu <peter@lekensteyn.nl>
Diffstat (limited to 'linux-headers')
0 files changed, 0 insertions, 0 deletions