> changing zoom factor to 100% and/or 200% seems ok (and 125% and 150% > looks bad?).
You're right -- I just tried those zooms here and I see the same: 100%, 200% are okay and 125% and 150% look bad (with overlapping symbols). -Sanjoy `Not all those who wander are lost.' (J.R.R. Tolkien) _______________________________________________ dev-context mailing list [email protected] http://www.ntg.nl/mailman/listinfo/dev-context
