On Wed, Jun 8, 2011 at 12:32, Jasper St. Pierre <jstpie...@mecheye.net> wrote: > Welp, I was going to have a thread announcing my work on this, but I guess > I'll just hijack this one. > > First, one quick point out of the way: I don't think we need to separate > between themes and extensions. Going forward, I think that the user-theme > extension will die. >
I hope not. Themes alter the presentation of an application, extensions add functionality. That is an important distinction, in fact technologies such as CSS have been invented to create this distinction where it once did not exist (SGML, HTML). What benefit do you envision by removing this distinction? -- Dotan Cohen http://gibberish.co.il http://what-is-what.com _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-shell-list
