[webkit-gtk] Send HTTP header line for every request

[Jay Strict]

On 28.06.2016 08:05, philip.chimento at gmail.com 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