Pessoal, acho que ele está querendo é o
MGSE, pacote de extensões do Mint para o Gnome-Shell, que veio junto com o Mint 12. Instalando o Gnome-Shell no Mint 13, alguns dos "recursos" que estavam na barra do Gnome na versão 12, não aparecem. O problema é que o MGSE não é compatível com o Mint 13. Infelizmente, talvez por causa da prioridade dada ao Cinnamon, o desenvolvimento do MGSE para o Mint 13 não ocorreu.
O ideal é fazer a instalação padrão do Gnome-Shell:
sudo apt-get install gnome-shell* gnome-session gnome-tweak-tool
E ir instalando as extensões através do site oficial:
http://www.linuxmint.com.br/modules/news/article.php?storyid=35.
Fiquem com Deus.