J'ai accidentellement décoché Affichage -> Afficher la barre de menu qui masque la menubar pour gnome-terminal, et il ne semble pas y avoir de raccourci clavier pour afficher à nouveau la menubar.
Comment faire pour que gnome-terminal affiche à nouveau la menubar ?