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. ~TJReceived on Thursday, 21 March 2013 07:22:22 UTC
This archive was generated by hypermail 2.4.0 : Friday, 25 March 2022 10:08:27 UTC