Préférences du gestionnaire de fichiers Ubuntu 19.10
Je me demande où je peux trouver les préférences du gestionnaire de fichiers sur Ubuntu 19.10.
J'ai essayé d'ouvrir le gestionnaire de fichiers et de cliquer sur la flèche près de Fichier en haut à gauche; Je n'ai trouvé que les options: Accueil, Nouveau dossier, Afficher les détails, Esc.
Dans les versions précédentes de Gnome Shell, les préférences se trouvaient dans le menu de l'application, c'est-à-dire le menu déroulant que vous obtenez lorsque vous cliquez sur le nom de l'application dans la barre supérieure. Ce menu est obsolète. Maintenant, les options spécifiques à l'application ont été déplacées dans l'application elle-même (où elles appartiennent, à mon avis). Ce qui reste dans le menu de la barre supérieure, ce sont les options de gestion des fenêtres.
Dans Fichiers, le bouton avec des points verticaux arborescents (ou trois lignes comme hamburger dans d'autres thèmes) ouvre le menu de l'application. C'est là que vous trouverez maintenant les préférences. C'est le bouton situé immédiatement à gauche des boutons de contrôle de Windows (max, restaurer, fermer) si vous les avez à droite.
Addon: Sur mon installation 19.10 (Vanilla), il n'y a pas d'icône de hamburger dans la fenêtre Fichiers. Sélectionner Édition-> Préférences fera l'affaire.
... et si cela ne fonctionne pas (les barres de titre/menu sont connues pour disparaître par intermittence sur tous les gestionnaires de fenêtres d'ubuntu auparavant), utilisez Alt-E pour ouvrir le menu Édition.