Michael Catanzaro <[email protected]> writes: > On Wed, Sep 13, 2017 at 1:55 AM, Tomas Popela <[email protected]> > wrote: >> That's not entirely true. In RHEL 7.4 we introduced a new package >> webkitgtk4 that contains WebKitGTK+ 2.14.7 (it will be rebased to >> 2.16.6 for 7.5), so you could use that one.. > > Ah, Ludovic, you should definitely switch to that package > then. Migrating from webkit2gtk-3.0 to webkit2gtk-4.0 is very easy (it > will probably require no changes beyond changing the pkg-config > version) and you'll immediately benefit from several years of > fixes. There are no major differences in functionality since you were > already using WebKit2, so my comments hold for both versions.
Thanks a lot. As you can imagine, multi-million-lines-of-code, mission-critical software implies quite a bit of overhead (think multiple sysadmin, DBA, development infrastructure, deployment, testing, etc. departments). We will switch to the new package when it becomes available to us. In the mean time, I will explore the effort necessary to write a web extension and add it to our build and deployment infrastructure. Again thank you for your detailed answers. -- Ludovic Brenta. _______________________________________________ webkit-gtk mailing list [email protected] https://lists.webkit.org/mailman/listinfo/webkit-gtk
