On Wed, Jun 8, 2011 at 12:36 PM, Finnbarr P. Murphy <[email protected]>wrote:
> On Wed Jun 8 2011 05:32:48 -0400 Jasper St. Pierre" <[email protected]> > wrote: > > > 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 disagree. For all sorts of reasons, there needs to be a clear separation > between shell themes and extensions. > What "all sorts of reasons"? > I do agree with you regarding the user-theme extension. > > > Hopefully, this horrible bug will be fixed: > > https://bugzilla.gnome.org/show_bug.cgi?id=650971 , and then we can > deploy > > something clever Owen thought of: themes will be extensions like any > other, > > but with no code, and just a stylesheet. There will probably be a special > > key in the metadata.json to tag it as a theme, so it can get loaded > before > > all the other extensions. > > Why the requirement to load a theme before all other extensions? > Extensions may have their own stylesheets. When I said "loaded first", I wanted to ensure that CSS property inheritance worked properly. Whether that's a question of loading themes first or just marking the theme/extension in a special way is fine with me. In case you are unaware of it, there is already broad agreement in the form > of > a draft specification between the existing developers of theme selectors > and > theme developers concerning the location and content of themes directories, > the > theme metadata, etc. > OK. I'm just trying to cover the distribution mechanism, and both Owen and I realized that themes could be implemented as extensions. It's probably better to provide it separately so that users can switch between themes without having to disable/enable extensions. I want the user experience to be pretty much the same as installing Extensions, which should be pretty painless: no more than navigating to http://extensions.gnome.org and clicking "Install". The code that I'm hacking on right now is implementing the "auto-install" for extensions, and I'd rather keep all of these in one place. Of course, I'm all for collaboration and broad agreement, so if there's good precedent, I'd like to talk to the guys in charge. Can you point me to the "draft specification"? > _______________________________________________ > gnome-shell-list mailing list > [email protected] > http://mail.gnome.org/mailman/listinfo/gnome-shell-list >
_______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
