Le logiciel DockSpace a été testé dans l’article précédent par UnkleBob, et une présentation succinte en a été faite.
Le point marquant avec ce logiciel, c’est sa gestion de Spaces. Il est censé s’y intégrer, mais il limite pour cela le nombre de bureaux virtuels à 4.
Pas très grave me direz vous. Sauf si vous vous trouviez dans le cas suivant juste avant de cocher la case “Spaces Integration”:
- Plus de quatres bureaux.
- Des applications assignées à des espaces (en particulier au dessus de 4).
Le risque, c’est de ne plus pouvoir accéder aux applications assignées de la sorte … La fenêtre de l’application en question se retrouve assignée à un bureau qui n’existe plus, et elle est donc en train de “flotter” par dessus les Spaces (visible uniquement via F8), non cliclable/sélectionnable/repositionable.
Vous comprendrez que lorsque c’est du panneau des préférences systèmes que l’on parle : C’est EMBETANT.
Relance du Dock, Redémarrages, rien n’y fait. Il faut trouver un moyen non-graphique de ramener la configuration des Spaces à 4 (ou de fixer le bureau des Prefs Panels sur un Space de 1 à 4). C’est là qu’intervient Pref Setter.
Lorsque l’on parle de réglages et de préférences sous OSX, il faut tout de suite penser fichiers PLIST (Property List), ces fichiers qui évoquent une syntaxe XML et qui définissent quasiment tout sous OSX.
Pref Setter est donc un Front-End aux fichiers plist, apportant une interface claire et simple pour la lecture/édition/recherche dans ces fichiers.
Revenons-en à notre joli bug. Le problème ici vient du fait que DockSpace renseigne mal le nouveau nombre de bureaux virtuels disponibles et surtout, ne réattribue pas automatiquement un bureau assigné existant comme le ferait OSX lorsque l’on supprime une colonne ou une ligne de Spaces.
Les paramètres qui nous intéressent se trouvent dans le fichier com.apple.dock.
Ajustez ici la clé workspaces-col à 2 pour revenir à 4 bureaux, ou bien allez chercher l’application désirée dans workspaces-app-bindings pour lui définir sur quel bureau se lancer. Une fois terminé, sauvegardez les modifications et relancez le Finder afin que les modifications soient prises en compte : Voilà!
Au final, c’est un “problème” enrichissant, Pref Setter est le type de logiciel que je recherchais depuis un petit moment 
Ajoutez à cela que c’est un Freeware … Gagné!
Commentaires Récents