Re: [webkit-gtk] Dynamic user agent

2014-05-08 Thread Carlos Garcia Campos
El jue, 08-05-2014 a las 12:08 -0700, Martin Robinson escribió: > On Thu, May 8, 2014 at 9:18 AM, Gustavo Noronha Silva wrote: > > No worries, I kinda thought I had moved that to WebCore so it could be > > shared, but I just dreamed of it, I guess =P > > I think this is the way it went down: > >

Re: [webkit-gtk] Dynamic user agent

2014-05-08 Thread Martin Robinson
On Thu, May 8, 2014 at 9:18 AM, Gustavo Noronha Silva wrote: > No worries, I kinda thought I had moved that to WebCore so it could be > shared, but I just dreamed of it, I guess =P I think this is the way it went down: 1. In the beginning, we had our own custom user agent. 2. Gustavo added code

Re: [webkit-gtk] Dynamic user agent

2014-05-08 Thread Carlos Garcia Campos
El jue, 08-05-2014 a las 16:15 -0003, Gustavo Noronha Silva escribió: > Hey, > > On Qui, 8 Mai, 2014 at 11:07 , Carlos Garcia Campos > wrote: > > I wrote something exactly like this a while ago, > > specifically so that Google would stop misbehaving, so we > > did have som

Re: [webkit-gtk] Dynamic user agent

2014-05-08 Thread Gustavo Noronha Silva
Hey, On Qui, 8 Mai, 2014 at 11:07 , Carlos Garcia Campos wrote: I wrote something exactly like this a while ago, specifically so that Google would stop misbehaving, so we did have something like this, but I think it was never ported to WebKit2 I didn't know it :-P No worries, I kinda

Re: [webkit-gtk] Dynamic user agent

2014-05-08 Thread Carlos Garcia Campos
El mié, 07-05-2014 a las 18:27 -0003, Gustavo Noronha Silva escribió: > Hey, > > On Ter, 6 Mai, 2014 at 7:54 , Carlos Garcia Campos > wrote: > > My first idea was to keep them static in the source code, similar to > > plugin quirks, but I agree that information might become obsolete > > soon. >