Il existe plusieurs moyens d’activer les préférences du Dock, vous pouvez simplement utiliser le menu « Pomme » puis la ligne « Dock » et ainsi sélectionner les réglages que vous souhaitez appliquer.
Il y a plus simple, cliquez sur la ligne de « démarcation » présente dans le Dock, celle qui sépare les applications des fichiers ou dossiers tout en pressant la touche « Contrôle » ou « ctrl ». Les possesseurs de souris a deux boutons peuvent utiliser le bouton droit.
Un menu apparaît vous proposant les mêmes options que dans le menu « Pomme ».

Henri Dominique Rapin