Bonjour 
,
Je souhaiterai intégrer l’extention powerMenu.js à la top barre :How to ?merci
j’ai remplacer le contenu de l’actuel userMenu par celui de powerMenu puis Alt+F2+ tapé 'r’
Le résultat est que l’applet userMenu disparait.
Y a t’il un moyen en ajoutant un fichier json et css dans un dossier dans .local/…/extentions/monDossier.com
de fixer le problème avec gnome-tweak-tool , j’ai déjà essayé en vain j’ai un avertissement devant l’extension :normal je suis une brèle^^
Ou y a t’il du tout fait j’ai également cherché , je suis peut-etre passé à coté mais gnome-shell étant en plein dévelopement ça m’étonnerait pas qui ai rien.