- From: L. David Baron <dbaron@dbaron.org>
- Date: Tue, 23 Oct 2012 20:35:53 +0200
- To: Lea Verou <lea@w3.org>
- Cc: Boris Zbarsky <bzbarsky@MIT.EDU>, "Tab Atkins Jr." <jackalmage@gmail.com>, www-style@w3.org
On Tuesday 2012-10-23 21:18 +0300, Lea Verou wrote: > On Oct 22, 2012, at 02:56, Boris Zbarsky wrote: > > > Let's turn this around. What possible use cases are there for "0dpi"? What would that even mean? > > Well, itβs too late for this now, but if it was allowed from the very beginning, it could serve as a mechanism for feature detection. i.e. it would always be true, as long as the resolution media feature was supported. Same goes for seemingly useless values of other media features. You can already do this with the media query: (resolution) since http://www.w3.org/TR/css3-mediaqueries/#media1 says: # For a media feature feature, (feature) will evaluate to true if # (feature:x) will evaluate to true for a value x other than zero # or zero followed by a unit identifier (i.e., other than 0, 0px, # 0em, etc.). -David -- π L. David Baron http://dbaron.org/ π π’ Mozilla http://www.mozilla.org/ π
Received on Tuesday, 23 October 2012 18:36:25 UTC