J'ai récemment effectué une mise à niveau vers Gnome 3.16.2 (je ne sais pas de quelle version je disposais auparavant), puis mon extension MMOD Panel n'était plus compatible. Je ne reçois que le message "Ne supporte pas la version Shell". https://extensions.gnome.org/extension/898/mmod-panel/
Il en va de même pour l'extension Paramètres du panneau. Cela n'a pas fonctionné sur ma version précédente non plus. https://extensions.gnome.org/extension/208/panel-settings/
J'ai vraiment adoré avoir le panneau supérieur en bas et je me demandais s'il existait un paramètre ou une extension permettant de résoudre ce problème dans ma version. J'ai essayé de chercher sur google sans succès.
L'extension de la barre des tâches intégrée à Tweak Tool ne comporte que l'option "ajouter un panneau inférieur", ce qui ne déplace pas le haut, mais en ajoute simplement un en bas.
L’extension BottomPanel fonctionne avec GNOME Shell 3.16.2
% gnome-Shell --version
GNOME Shell 3.16.2