round_to_pixel


Description:

[ Version ( deprecated = true , deprecated_since = "1.4" , since = "1.0" ) ]
public unowned Rect? round_to_pixel ()

Warning: round_to_pixel is deprecated since 1.4.

Rounds the origin and the size of the given rectangle to their nearest integer values; the rounding is guaranteed to be large enough to contain the original rectangle.

Note:

Use round instead

Parameters:

this

a Rect

Returns:

the pixel-aligned rectangle.