On 28.06.2016 08:05, [email protected] wrote: > I am fairly certain GJS is the more frequently used of the two, in GNOME > applications at least. In any case, GJS is not just used for GNOME > Shell, but also several applications like GNOME Documents (which itself > uses WebKitGTK), GNOME Weather, etc. > > And after all, I don't suppose it's a burden to include a dependency on > Python for the Python shim. You might be able to write WebExtension > shims for any number of interpreted languages and make them an optional > part of the build. In package-based distributions, for example, they > could be shipped in separate packages.
That would not help in the Gnome shell extension use case then, if you have to install a seperate package. Gnome shell extensions should work for different distributions no matter which extra packages are installed or not. Kind regards, Jay _______________________________________________ webkit-gtk mailing list [email protected] https://lists.webkit.org/mailman/listinfo/webkit-gtk
