Le mardi 10 mai 2011, à 10:44 -0400, Erick Pérez a écrit : > > Did you possibly intend to attach something to your mail? > > Marcel > > Yeah the uri, I forgot: > > Here it is: https://github.com/erick2red/shell-extensions
It might make sense to submit it for integration with the gnome-shell-extensions repository: http://git.gnome.org/browse/gnome-shell-extensions/ (file a bug against gnome-shell / extensions) Cheers, Vincent -- Les gens heureux ne sont pas pressés. _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
