J'ai accidentellement décoché Afficher -> Afficher la barre de menus qui masque la barre de menus pour gnome-terminal, et il ne semble pas y avoir de raccourci clavier pour afficher à nouveau la barre de menus.
Comment faire pour que gnome-terminal affiche à nouveau la barre de menu?
gnome-terminal
Isaïe
la source
la source
Réponses:
Faites un clic droit n'importe où dans le terminal et vous obtiendrez un menu contextuel similaire qui vous permettra de le réactiver.
la source
Vous pouvez également le faire via la ligne de commande du terminal:
Si vous lisez le,
man gnome-terminal
vous pouvez trouver ceci:la source