diff NEWS @ 4225:f6625617716b

- use ceil() to round non-integer pixel lengths up to the next integer value; this is needed to deal with non-integer scale factors, and should be probably applied to other scalable ui-widgets
author Giacomo Lozito <james@develia.org>
date Mon, 28 Jan 2008 02:50:54 +0100
parents 70fe9fa8b916
children c142cc85d21a
line wrap: on
line diff