Toutes les extensions gnome-shell ne sont pas forcément dans la barre principale (je pense aux extensions qui forcent le nombre de bureau, qui supprime ou ajoute un hot corner, etc.)
Par là :
http://developer.gnome.org/ on voit que cairo semble utilisable pour ce qui concerne l'UI.
Après je trouve ça étrange que personne à ma connaissance n'ait entrepris de développer un système de desklet pour gnome3 (mais je ne suis peut être tout simplement pas au courant)
