Le grand quai à gauche. Dans d'autres versions, vous pourriez échapper au lanceur d'unité en allant à gnome, et maintenant? Gnome tweaks ne l'affiche pas comme une extension, même s'il ressemble beaucoup à un tableau de bord à ancrer.
Je vois les options de masquage automatique dans les paramètres, mais aucun moyen de le supprimer complètement et d'utiliser le gnome par défaut.
Edit: je ne cherche pas de gnome vanille, mais simplement pour cacher le dock.