[webkit-gtk] [RFC] Shim loaders for script Web Extensions new API for them

2015-08-25 Thread Adrián Pérez de Castro
Hello everybody! First, some background: As a part of the WebKitGTK+ build process, the Web Extensions API and the DOM bindings are processed by GObject Introspection and are already available to be used from several languages like Python (via PyGObject [1]), or Lua (via LGI [2]). The problem is

Re: [webkit-gtk] Which Linux distribution is used for buildbot

2016-06-02 Thread Adrián Pérez de Castro
Quoting Fujii Hironori (2016-06-02 11:23:15) > I can not get the same result of run-webkit-tests with buildbot. > Which Linux distribution is used for buildbot? > Is there a document about how to setting up the buildbot for WebKitGTK+. Most buildbots are running Debian 8 (Jessie). If you compile

Re: [webkit-gtk] WTF is in both libjavascriptcoregtk and libwebkit2gtk

2016-01-16 Thread Adrián Pérez de Castro
Hello, Quoting Carlos Garcia Campos (2016-01-16 15:03:39) > El vie, 15-01-2016 a las 22:57 -0800, Jeremy Huddleston Sequoia > escribió: > > Hey folks, > > > > WebKit2 isn't initializing correctly for us in 2.11.3, and clients > > are crashing on initial launch. > > > > Philip first mentioned

Re: [webkit-gtk] [RFC] New API: support user content filters in WebKitUserContentManager

2016-02-22 Thread Adrián Pérez de Castro
Quoting Carlos Garcia Campos (2016-02-19 15:06:26) > El mar, 16-02-2016 a las 17:22 +0200, Adrián Pérez de Castro escribió: > > > > If this sounds like a good idea, I can invest some of my time to make it > > happen — I have implemented most of WebKitUserContentManager and I

Re: [webkit-gtk] Modifying HTML before loading it in a WebView

2016-08-03 Thread Adrián Pérez de Castro
Hi Michael, Quoting Michael Gratton (2016-08-02 04:58:59) > I'm (slowly) working on porting Geary to WebKit2. That's great! Any effort done in porting to WebKit2 deserves to be praised. Hopefully distributions can stop shipping old, unsecure, tired WebKit1 at some point thanks to people like

Re: [webkit-gtk] webkitgtk and Google Maps API

2016-08-16 Thread Adrián Pérez de Castro
Hi there, Quoting Carlos Alberto Lopez Perez (2016-08-16 16:49:57) > On 16/08/16 16:39, Carlos Alberto Lopez Perez wrote: > > On 16/08/16 16:35, Michael Catanzaro wrote: > >> On Tue, 2016-08-16 at 15:57 +0200, Philippe Charpentier wrote: > >>> Thank you very much for testing it. > >>> As you