Les fans de bureau à panneau unique se réjouissent !
Dash to Panel fonctionne désormais avec GNOME 40 — hourra !
La dernière mise à jour de l’extension GNOME Shell toujours populaire introduit une prise en charge complète du bureau GNOME 40 reconfiguré, y compris son sélecteur d’espace de travail horizontal et son lanceur d’applications immersif.
J’ai essayé la version sur mon installation de Fedora et je suis heureux de dire que la plupart des paramètres de Dash to Panel sont présents et fonctionnent également dans GNOME 40. Cela inclut intellihide, la couleur et la transparence du panneau configurables et les aperçus de la fenêtre au survol.
Bien que la configuration d’origine fonctionne parfaitement (pour moi, de toute façon), j’ai remarqué que la personnalisation de certains paramètres introduit quelques bugs mineurs ou incohérences.
Par exemple, lors de l’activation de l’opacité personnalisée (pour cet effet peer-through-panel que j’adore), l’animation pour quitter le commutateur d’espace de travail et la grille d’applications bégayent. Ce n’est pas exactement une question d’arrêt pour moi. Et avec autant de combinaisons de paramètres disponibles, ce genre de bogues de bord est à prévoir.
Nous avons prévisualisé l’effort pour faire fonctionner Dash to Dock avec GNOME 40 il y a quelques mois. Bien que prometteur (et largement fonctionnel), ce travail reste confiné à un branche développement au moment de la rédaction.
Ce n’est pas le cas avec Dash to Panel v43. Cette mise à jour peut être installée sur des distributions Linux compatibles directement à partir du site Web des extensions GNOME.