| commit | 1d18774579759a8b5046119266626e9fdf9f7c0b | |
| author | Peter Wu <peter@lekensteyn.nl> | |
| Thu, 10 May 2018 23:07:38 +0000 (11 01:07 +0200) | ||
| committer | Gerd Hoffmann <kraxel@redhat.com> | |
| Tue, 15 May 2018 08:31:09 +0000 (15 10:31 +0200) | ||
| tree | 2d31452c6efe8d0b6d0bbba2927c42d77884f648 | treesnapshot (tar.gz zip) |
| parent | f88e5c5744c7969ba0ccb7f9a3b85cdcac3aacf1 | commitdiff |
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>
Message-Id: <20180510230739.28459-1-peter@lekensteyn.nl>
Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
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>
Message-Id: <20180510230739.28459-1-peter@lekensteyn.nl>
Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
| ui/gtk.c | diffblobblamehistory |