L'ennui, c'est que les extensions sont cassés à chaque mise à jour car l'api n'est pas stable et les développeurs d'extensions ne sont visiblement pas dans la boucle pour être prévenus des changements.
A mon avis, les extensions sont un projet de second ordre pour gnome et plutôt destiné aux distributions qui font le travail d'intégration (par exemple ubuntu avec son dock).
[^] # Re: Stable mais
Posté par nlgranger . En réponse à la dépêche GNOME 3.36 à la cool. Évalué à 6.
L'ennui, c'est que les extensions sont cassés à chaque mise à jour car l'api n'est pas stable et les développeurs d'extensions ne sont visiblement pas dans la boucle pour être prévenus des changements.
A mon avis, les extensions sont un projet de second ordre pour gnome et plutôt destiné aux distributions qui font le travail d'intégration (par exemple ubuntu avec son dock).