gnome 3.20

Merci papajoke !
toujours friand de la nouvelle version pour ma part.

Pour tes deux points, c'est ce qui arrive à chaque fois, non ? Il faut bien compter une quinzaine de jours voire un mois avant que les thèmes tiers et les extensions soient mises à jour, non ?

Reinstallation de Arc-theme et mise à jour des deux extensions dans gnome-tweak-tool et feu !
Rien de spécial à noter pour cette version de gnome, ça a bossé dans la profondeur.

Ici une liste, qui semble assez à jour, des thèmes déjà disponibles pour GTK 3.20 : https://wiki.archlinux.org/index.php/GTK%2B#Themes