diff options
| author | Bryce Mills <brycemills@proton.me> | 2022-10-11 13:58:21 +0000 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2022-10-12 14:33:54 +0200 |
| commit | dbccb1a5a1b5b14b78ea6b27bb562e8cd0a8f317 (patch) | |
| tree | ceced8eac5bb8759d602e449064f24f2713bfc64 /hw/rtc/pl031.c | |
| parent | 82a628f887409f8a863482627c6d6ea6f208d3b2 (diff) | |
gtk: Add show_menubar=on|off command line option.
The patch adds "show_menubar" command line option for GTK UI similar to
"show_tabs". This option allows to hide menu bar initially, it still can
be toggled by shortcut and other shortcuts still work.
Signed-off-by: Bryce Mills <brycemills@proton.me>
Acked-by: Markus Armbruster <armbru@redhat.com>
Message-Id: <NWO_zx1CT5Aj9vAXsRlqBppXd63gcKwL9V1qM1Meh36M_9tCw-EsCnfpvONXhHjmtKIUoSuCy9OO6cHS7M8b0oHBOCZG6f1jZ4Q2tqgI2Qo=@proton.me>
Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
Diffstat (limited to 'hw/rtc/pl031.c')
0 files changed, 0 insertions, 0 deletions