- From: Maciej Stachowiak <mjs@apple.com>
- Date: Wed, 25 Apr 2012 18:32:41 -0700
- To: "Tab Atkins Jr." <jackalmage@gmail.com>
- Cc: fantasai <fantasai.lists@inkedblade.net>, www-style@w3.org
On Apr 25, 2012, at 4:27 PM, Tab Atkins Jr. <jackalmage@gmail.com> wrote: > On Wed, Apr 25, 2012 at 10:21 AM, Maciej Stachowiak <mjs@apple.com> wrote: >> On Apr 25, 2012, at 9:11 AM, fantasai <fantasai.lists@inkedblade.net> wrote: >>> On 04/25/2012 02:40 AM, Maciej Stachowiak wrote: >>>> >>>> There seem to be at least three advantages, if, perhaps, relatively minor ones. >>>> >>>> 1) 'device-pixel-ratio: 2' is more readily understandable - ddpx is a mysterious abbreviation. >>>> 2) device-pixel-ratio is deployed in existing content (albeit with a webkit prefix); declining to standardize it seems likely to increase the scope of the prefix problem. >>>> 3) device-pixel-ratio has actual deployment experience showing it is usable for its intended purpose. >>>> >>>> In what way is 'resolution: 2ddpx' better? >>> >>> It doesn't add anything new. It uses an existing mechanism to do the same thing. >> >> I don't follow closely, so I may be misinformed, but isn't the dppx unit something new? It looks like it wasn't present in the Sept 11 Working Draft of Values & Units. > > At the time it was only defined in Image Values, as that is where it > was introduced. > > It's been in the V&U Editor's Draft for some time, and is present in > the current Working Draft (published in early March). Why are you > referring to the Sep 2011 WD? Because I wanted a quick way to to see when it was added. I'm unable to readily tell when it was first added to Image Values. For comparison, device-pixel-ratio was first implemented as a vendor extension in 2006[1] and exists (prefixed) in at least WebKit, Presto and Gecko. So I wondered why device-pixel-ratio counts as "add[ing] anything new" but the dppx unit does not. I don't follow closely, so maybe there is some reason for diverging from content and implementations here. Regards, Maciej [1] http://www.webkit.org/blog/55/high-dpi-web-sites/
Received on Thursday, 26 April 2012 01:33:11 UTC