Re: [Qemu-devel] [PATCH 1/2] gtk: make it possible to hide the menu bar

[Gerd Hoffmann]

On Fri, May 11, 2018 at 01:07:38AM +0200, Peter Wu wrote:
> Saves some space and disables the F10 button as side-effect.

Added to ui patch queue.

thanks,
  Gerd