Web Search Dialog - GNOME Shell Extensions
August 7, 2014 01:23:44 PM GMT+02:00 * - permalink -

- https://extensions.gnome.org/extension/549/web-search-dialog/

Media Player Indicator – Une extension pour gérer vos lecteurs multimédia depuis le panel de Gnome Shell – La vache libre
March 9, 2014 12:50:15 PM GMT+01:00 - permalink -

- http://la-vache-libre.org/media-player-indicator-une-extension-pour-gerer-vos-lecteurs-multimedia-depuis-le-panel-de-gnome-shell/

Eyecandy for your GNOME-Desktop - GNOME-Look.org
September 19, 2013 04:47:19 PM GMT+02:00 - permalink -

- http://gnome-look.org/index.php?xsortmode=high&page=0&xcontentmode=191&PHPSESSID=c1a4d65fe58dc443c58a83c7de2041e7

How To Get A Complete GNOME 3 Desktop In Ubuntu 12.10, Without Installing Ubuntu GNOME Remix ~ Web Upd8: Ubuntu / Linux blog
September 19, 2013 04:43:17 PM GMT+02:00 - permalink -

- http://www.webupd8.org/2012/10/how-to-get-complete-gnome-3-desktop-in.html