- From: Tab Atkins Jr. <jackalmage@gmail.com>
- Date: Thu, 21 Mar 2013 00:21:21 -0700
- To: "Robert O'Callahan" <robert@ocallahan.org>
- Cc: James Holderness <j4_james@hotmail.com>, www-style list <www-style@w3.org>
On Wed, Mar 20, 2013 at 10:40 PM, Robert O'Callahan <robert@ocallahan.org> wrote: > On Thu, Mar 21, 2013 at 11:49 AM, Tab Atkins Jr. <jackalmage@gmail.com> > wrote: >> It generally *is* a good idea to have the px be an integer number of >> device pixels. > > I used to think this was true but I've come to doubt it. Firefox's full-zoom > feature almost always leads to dev-pixels-per-px being non-integer and it > seems to cause few problems. Lately we've enabled non-integer ratios by > default for Windows (7 and Metro) with high-dpi screens and we still seem to > be having few problems. I think this is true for Firefox on Android as well, > and we're in the process of configuring FirefoxOS for high-dpi mobile > devices with non-integer devicePixelRatio. Interesting! That's good to know. ~TJ
Received on Thursday, 21 March 2013 07:22:22 UTC