J'ai donc mis à jour de 10.04 à 12.10, et les changements de thèmes GTK (à partir de ubuntu-tweak, gnome-tweak-tool, etc.) ne semblent pas pouvoir changer le rendu archaïque de:
dans le thème sélectionné. Est-ce que je manque quelque chose?
Mise à jour: un autre détail que j'ai oublié de mentionner est que j'utilise OpenBox par opposition au gestionnaire de fenêtres normal.