thanks for your answers ! I've found this site which makes most of my questions (and more) irrelevant : http://blog.fpmurphy.com/2011/05/more-gnome-shell-customization.html and http://blog.fpmurphy.com/2011/03/customizing-the-gnome-3-shell.html
Impressive how easy it is to customize gnome shell ! Well done !!
_______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
