Re: [webkit-dev] github mirror

2012-04-24 Thread David Barr
On Wed, Apr 25, 2012 at 12:49 AM, Simon Hausmann wrote: > On Tuesday, April 24, 2012 03:59:47 PM Tor Arne Vestbø wrote: >> On 24.04.12 15:55, ext Adam Roben wrote: >> > Probably the biggest issue is for people who've been using >> > git.webkit.org and now want to try out GitHub. Since the commits

Re: [webkit-dev] Double-Resolution (Retina) Images - Re: -webkit-image-set

2012-04-24 Thread Edward O'Connor
Eric Seidel wrote: > Assuming I'm understanding Kalle correctly, it seems this could > already be accomplished with @media resolution? > > http://www.w3.org/TR/css3-mediaqueries/#resolution > > @media screen and (min-resolution: 264dpi) { … } > > Which according to: > http://en.wikipedia.org/wiki/

Re: [webkit-dev] Double-Resolution (Retina) Images - Re: -webkit-image-set

2012-04-24 Thread Tom Penzer
I would prefer something that works gracefully with img html tags, without relying on CSS. Plus, it's the user agent that needs to make the decision of which asset to request, not the server. -Tom P. On Apr 23, 2012, at 9:28 PM, Kalle Vahlman wrote: > 2012/4/24 Tom Penzer : >> Hi Everybody!

Re: [webkit-dev] github mirror

2012-04-24 Thread James Robinson
On Tue, Apr 24, 2012 at 7:15 AM, Tor Arne Vestbø wrote: > On 24.04.12 16:04, ext Shezan Baig wrote: > >> On Tue, Apr 24, 2012 at 9:55 AM, Adam Roben wrote: >> >>> In what situation does this cause issues? >>> >>> Probably the biggest issue is for people who've been using >>> git.webkit.org a

Re: [webkit-dev] github mirror

2012-04-24 Thread Evan Martin
On Tue, Apr 24, 2012 at 7:04 AM, Shezan Baig wrote: >> Probably the biggest issue is for people who've been using >> git.webkit.org and now want to try out GitHub. Since the commits are >> distinct between the two repositories, they have to do a full clone to >> make the switch. > > In theory thou

Re: [webkit-dev] Where to call Codeblock::dump from within webcore

2012-04-24 Thread Paul Sery
On 04/20/2012 05:55 PM, Paul Sery wrote: On 04/20/2012 08:25 AM, Andy Wingo wrote: On Wed 18 Apr 2012 21:28, pgsery writes: I want to call CodeBlock::dump from webcore in addition to the jsc shell. I've compiled webkit-1.6.1 with the --enable-debug option, modified dump to print to a file, in

Re: [webkit-dev] github mirror

2012-04-24 Thread Simon Hausmann
On Tuesday, April 24, 2012 03:59:47 PM Tor Arne Vestbø wrote: > On 24.04.12 15:55, ext Adam Roben wrote: > > Probably the biggest issue is for people who've been using > > git.webkit.org and now want to try out GitHub. Since the commits are > > distinct between the two repositories, they have to do

Re: [webkit-dev] github mirror

2012-04-24 Thread Tor Arne Vestbø
On 24.04.12 16:04, ext Shezan Baig wrote: On Tue, Apr 24, 2012 at 9:55 AM, Adam Roben wrote: In what situation does this cause issues? Probably the biggest issue is for people who've been using git.webkit.org and now want to try out GitHub. Since the commits are distinct between the two repos

Re: [webkit-dev] github mirror

2012-04-24 Thread Shezan Baig
On Tue, Apr 24, 2012 at 9:55 AM, Adam Roben wrote: >> In what situation does this cause issues? > > Probably the biggest issue is for people who've been using > git.webkit.org and now want to try out GitHub. Since the commits are > distinct between the two repositories, they have to do a full clon

Re: [webkit-dev] github mirror

2012-04-24 Thread Tor Arne Vestbø
On 24.04.12 15:55, ext Adam Roben wrote: Probably the biggest issue is for people who've been using git.webkit.org and now want to try out GitHub. Since the commits are distinct between the two repositories, they have to do a full clone to make the switch. Any idea why git is not smarter when p

Re: [webkit-dev] github mirror

2012-04-24 Thread Adam Roben
On Tue, Apr 24, 2012 at 9:49 AM, Tor Arne Vestbø wrote: > On 18.04.12 17:02, Simon Hausmann wrote: >> >> On Wednesday, April 18, 2012 06:53:46 AM ext Shezan Baig wrote: >>> >>> Hi WebKit, >>> >>> I've been using a fork of the following repo: >>> https://github.com/WebKit/webkit >>> >>> However, ye

Re: [webkit-dev] github mirror

2012-04-24 Thread Tor Arne Vestbø
On 18.04.12 17:02, Simon Hausmann wrote: On Wednesday, April 18, 2012 06:53:46 AM ext Shezan Baig wrote: Hi WebKit, I've been using a fork of the following repo: https://github.com/WebKit/webkit However, yesterday there was discussion on #webkit that the SHA-1 checksums on this repo are differ

Re: [webkit-dev] github mirror

2012-04-24 Thread Jarred Nicholls
On Apr 24, 2012, at 9:07 AM, Adam Roben wrote: > On Wed, Apr 18, 2012 at 11:06 AM, Jarred Nicholls wrote: > (from correct address) > > On Wed, Apr 18, 2012 at 11:06 AM, Jarred Nicholls wrote: > On Wed, Apr 18, 2012 at 11:02 AM, Simon Hausmann > wrote: > On Wednesday, April 18, 2012 06:53:46

Re: [webkit-dev] Using GitHub to Contribute to WebKit (Experimental)

2012-04-24 Thread Adam Roben
On Fri, Mar 16, 2012 at 5:40 PM, Adam Barth wrote: > > On Fri, Mar 16, 2012 at 2:32 PM, Ryosuke Niwa wrote: > > Can we do some Bugzilla integration as Jarred suggested? > > If you're excited about using GitHub, you should feel free to do that work. It sounds like there is already work going on o

Re: [webkit-dev] github mirror

2012-04-24 Thread Adam Roben
On Wed, Apr 18, 2012 at 11:06 AM, Jarred Nicholls wrote: > (from correct address) > > On Wed, Apr 18, 2012 at 11:06 AM, Jarred Nicholls wrote: > >> On Wed, Apr 18, 2012 at 11:02 AM, Simon Hausmann < >> simon.hausm...@nokia.com> wrote: >> >>> On Wednesday, April 18, 2012 06:53:46 AM ext Shezan Bai

Re: [webkit-dev] github mirror

2012-04-24 Thread Adam Roben
Well that turned out ugly. Let's try again: $ diff -u <(GIT_DIR=WebKit/.git git cat-file -p df242ce698c19b591e975d88c29f7411b2f2963d) <(GIT_DIR=GitHubWebKit/.git git cat-file -p 93f4255f7cb09996f0a9a354754c7902da87d1a3) --- /dev/fd/63 2012-04-24 09:01:56.0 -0400 +++ /dev/fd/62 2012-04-24 0

Re: [webkit-dev] github mirror

2012-04-24 Thread Adam Roben
On Wed, Apr 18, 2012 at 11:02 AM, Simon Hausmann wrote: > On Wednesday, April 18, 2012 06:53:46 AM ext Shezan Baig wrote: >> Hi WebKit, >> >> I've been using a fork of the following repo: >> https://github.com/WebKit/webkit >> >> However, yesterday there was discussion on #webkit that the SHA-1 ch

Re: [webkit-dev] Debugging With Xcode

2012-04-24 Thread Eric Seidel
I have updated to the latest Xcode. My current hack for being able to build from the command line as well as within Xcode is that I've manually added symlinks from Source/WebCore/build -> ../../WebKitBuild (since it no longer seems possible to set a global build directory). It seems to be working