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/List_of_displays_by_pixel_density
To answer my own question:
http://trac.webkit.org/browser/trunk/Source/WebCore/css/MediaQueryEvaluator.cpp#L66
On Mon, Apr 23, 2012 at 11:11 PM, Eric Seidel e...@webkit.org wrote:
Assuming I'm understanding Kalle correctly, it seems this could
already be accomplished with @media resolution?
It would be more readable to use:
@media screen and (min-device-pixel-ratio: 2) { … }
The -webkit-image-set proposal explains why it is a useful shorthand despite
the existing device pixel ratio option.
Regards,
Maciej
On Apr 23, 2012, at 11:11 PM, Eric Seidel wrote:
Assuming I'm
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
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 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
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
On Wed, Apr 18, 2012 at 11:06 AM, Jarred Nicholls jar...@webkit.org wrote:
(from correct address)
On Wed, Apr 18, 2012 at 11:06 AM, Jarred Nicholls jar...@sencha.comwrote:
On Wed, Apr 18, 2012 at 11:02 AM, Simon Hausmann
simon.hausm...@nokia.com wrote:
On Wednesday, April 18, 2012
On Fri, Mar 16, 2012 at 5:40 PM, Adam Barth aba...@webkit.org wrote:
On Fri, Mar 16, 2012 at 2:32 PM, Ryosuke Niwa rn...@webkit.org 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
On Apr 24, 2012, at 9:07 AM, Adam Roben aro...@webkit.org wrote:
On Wed, Apr 18, 2012 at 11:06 AM, Jarred Nicholls jar...@webkit.org wrote:
(from correct address)
On Wed, Apr 18, 2012 at 11:06 AM, Jarred Nicholls jar...@sencha.com wrote:
On Wed, Apr 18, 2012 at 11:02 AM, Simon Hausmann
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
On Tue, Apr 24, 2012 at 9:49 AM, Tor Arne Vestbø
tor.arne.ves...@nokia.com 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,
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
On Tue, Apr 24, 2012 at 9:55 AM, Adam Roben aro...@webkit.org 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
On 24.04.12 16:04, ext Shezan Baig wrote:
On Tue, Apr 24, 2012 at 9:55 AM, Adam Robenaro...@webkit.org 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
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 a
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, pgserypgs...@swcp.com 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
On Tue, Apr 24, 2012 at 7:04 AM, Shezan Baig shezbaig...@gmail.com 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
On Tue, Apr 24, 2012 at 7:15 AM, Tor Arne Vestbø
tor.arne.ves...@nokia.comwrote:
On 24.04.12 16:04, ext Shezan Baig wrote:
On Tue, Apr 24, 2012 at 9:55 AM, Adam Robenaro...@webkit.org wrote:
In what situation does this cause issues?
Probably the biggest issue is for people who've been
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:
On Wed, Apr 25, 2012 at 12:49 AM, Simon Hausmann
simon.hausm...@nokia.com 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.
20 matches
Mail list logo
