On Wed, Apr 20, 2011 at 4:12 PM, Colin Walters <[email protected]> wrote: > There are, however, nontrivial issues. First is that actually in good > news on the gjs front, a standalone Spidermonkey release was just made > recently, and I have a patch ready to use it in gjs: > https://bugzilla.gnome.org/show_bug.cgi?id=646369 > In contrast though, /usr/bin/seed appears to actually link to WebKit, > which would be a painful dependency to have for gnome-shell, since > it'd be insane to try using it inside the compositor process. This > may (hopefully) be fixable.
There's no particular reason for this, we just never got around to untangle them. If there's increased interest in having them as separate libraries we can have it as one of the goals for WebKitGTK+ 1.6, which should be released in time for GNOME 3.2 (of course the actual separation would likely happen a lot earlier in some 1.5.x release). Cheers, Xan _______________________________________________ desktop-devel-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/desktop-devel-list
