GNOME Shell uses its own widget toolkit called ST. GTK+ APIs are pretty good about sebsible names, so you could grep though the source for gtk_ to see which GTK

GNOME Shell uses its own widget toolkit called ST. GTK+ APIs are pretty good about sebsible names, so you could grep though the source for gtk_ to see which GTK+ functionality is actually used by the shell.