Bonjour,
Existe-t-il un moyen simple, rapide, élégant et réversible de masquer le
dock ? Je ne m'en sers pas mais même dimensionné au minimum, il n'arrête
pas de m'embêter... :-)
J'aurais bien sûr la possibilité de faire un killall Dock, mais j'ai
peur de ne plus avoir accès au switcher d'application par pommme-tab, et
lui par contre je m'en sers en continu. Et si je kille le Dock, je ne
sais pas comment le relancer sans redémarrer le système.
Merci de vos infos et A++
--
Christian