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. Rob -- Wrfhf pnyyrq gurz gbtrgure naq fnvq, “Lbh xabj gung gur ehyref bs gur Tragvyrf ybeq vg bire gurz, naq gurve uvtu bssvpvnyf rkrepvfr nhgubevgl bire gurz. Abg fb jvgu lbh. Vafgrnq, jubrire jnagf gb orpbzr terng nzbat lbh zhfg or lbhe freinag, naq jubrire jnagf gb or svefg zhfg or lbhe fynir — whfg nf gur Fba bs Zna qvq abg pbzr gb or freirq, ohg gb freir, naq gb tvir uvf yvsr nf n enafbz sbe znal.” [Znggurj 20:25-28]
Received on Thursday, 21 March 2013 05:41:15 UTC