The workaround is to uninstall/purge appmenu-gtk and appmenu-gtk3 (if present). This package also contains the /etc/X11/Xsession.d/80appmenu* files.
@Jeremy: when appmenu-gtk is uninstalled, gnome-terminal behaves properly (regarding the "Show menubar by default" setting), at least for me.
The workaround is to uninstall/purge appmenu-gtk and appmenu-gtk3 (if present). Xsession. d/80appmenu* files.
This package also contains the /etc/X11/
@Jeremy: when appmenu-gtk is uninstalled, gnome-terminal behaves properly (regarding the "Show menubar by default" setting), at least for me.