Bryce Mills dbccb1a5a1 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>
2022-10-12 14:33:54 +02:00
..
2020-09-30 19:09:19 +02:00
2019-03-11 08:39:02 +01:00
2021-12-21 10:50:22 +04:00
2021-12-21 10:50:22 +04:00
2022-09-29 18:23:51 +02:00
2022-05-03 15:52:37 +04:00
2022-06-28 11:06:02 +02:00
2019-08-16 13:31:52 +02:00
2022-03-14 15:16:16 +04:00
2017-07-27 14:23:09 +02:00
2016-02-04 17:01:04 +00:00
2019-02-05 16:50:18 +01:00
2021-01-23 15:55:07 -05:00
2022-04-27 07:50:28 +02:00