Just to make it clear, I'm talking about something like a gsettings option that would be oficially supported and would allow us to set it up (for us or for mama) and forget about it (in principle it wouldn't break during upgrades).
_______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
