3 ms·

It's a really hard problem -- especially for fractional scales where hairlines become blurry (or too wide, or too thin, or inconsistent).

• wmf 13y ago
  But GNOME isn't doing it the hard way.
• rbanffy 13y ago
  It's not a hard problem at high pixel densities. We should be able to just specify the display density in DPI and sizes with device independent units. We've been doing this with print for ages.