On Thu, Jun 9, 2011 at 19:15, Jasper St. Pierre <jstpie...@mecheye.net> wrote: > I'm not saying we should expose the word "functional" to the user. In fact, > the "extension is a theme" is just a way to consolidate two extremely > related mechanisms. Ideally the user would never have to know that a theme > isn't an extension -- the fact that we can implement both using the same > underlying extension system is just some unimportant details to the user. >
I see. > Of course. I'm not suggesting removing the distinction from the user. You > switch themes, you don't switch extensions. You enable extensions, you don't > enable themes. > I misconstrued, then. I agree 100% with your assessment above. Thanks Jasper! -- 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