log

age author description
Mon, 28 Jan 2008 02:50:54 +0100 Giacomo Lozito - 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