On 06/06/20 16:13 (GMT-0400) Boris Zbarsky apparently typed: > I don't think there's a bug covering this. Please file the bug; attach a > testcase if possible. This does sound like a bug in cairo; in particular, > there > are at least 3-4 different notions of "dpi" around in cairo-gtk2 GFX (pango's > DPI, the DPI set in the X properties, the actual X DPI, the DPI set in > Mozilla); > I wouldn't be suprised if one of the numerous conversions happens to floor or > something... :(
Filed https://bugzilla.mozilla.org/show_bug.cgi?id=342207 -- "All have sinned & fall short of the glory of God." Romans 3:23 NIV Team OS/2 ** Reg. Linux User #211409 Felix Miata *** http://mrmazda.no-ip.com/ _______________________________________________ dev-tech-layout mailing list [email protected] https://lists.mozilla.org/listinfo/dev-tech-layout
