J'ai effectué une mise à niveau vers Sierra. Auparavant, lorsque le dock était masqué, Windows pouvait être redimensionné pour occuper presque tout l'écran ; une marge de 4 pixels était réservée au dock. Désormais, lorsque le dock est masqué, la marge n'est plus seulement de 4 pixels : elle est de la même taille que le dock. J'ai masqué le dock pour faire de l'espace supplémentaire pour mon Windows, mais il semble que l'avantage de masquer le dock soit perdu. Existe-t-il un moyen de revenir au comportement précédent ?
Réponse
Trop de publicités?
Redémarrage.
Parfois, les paramètres n'entrent pas en vigueur tant que vous n'avez pas redémarré votre appareil, surtout s'il s'agit d'une préférence à l'échelle du système. Le redémarrage a tendance à résoudre la plupart des problèmes liés aux préférences système.
De même, les Préférences Système ne vous indiqueront peut-être pas de redémarrer votre appareil, mais si quelque chose ne fonctionne pas, le redémarrage devrait résoudre votre problème.
Si les paramètres du Dock ne fonctionnent pas correctement, un redémarrage devrait résoudre votre problème.
0 votes
Je dois juste vérifier puisque je n'ai pas ce problème - quelle version de Sierra utilisez-vous ( > À propos de ce Mac) et avez-vous redémarré après avoir masqué le dock ? Cela fonctionne bien pour moi sous 10.12.5.
0 votes
@Jackson1442 10.12.5
0 votes
Intéressant. Et vous avez redémarré ?
0 votes
@Jackson1442 Je vais essayer. Un redémarrage n'avait pas été nécessaire auparavant.
0 votes
@Jackson1442 Le redémarrage l'a réparé. N'hésitez pas à soumettre vos commentaires en tant que réponse.