J'ai décoché accidentellement View - & gt; Afficher la barre de menus qui masque la barre de menus de gnome-terminal, et il ne semble pas y avoir de raccourci clavier pour afficher à nouveau la barre de menus.
Comment puis-je faire apparaître à nouveau la barre de menus de gnome-terminal?