A Size is a useful data structure for graphics operations.
It simply contains integer width and height members.
Size is used throughout Widgets as well as Point which, although almost
equivalent to Size, has a different meaning: Point represents a position
while Size – the size.
None
Creates a size object.
Decrements this object so that both of its dimensions are not greater than the
corresponding dimensions of the size.
Returns if neither of the size object components is equal to $-1$, which
is used as default for the size values in Widgets (hence the predefined
DefaultSize
has both of its components equal to $-1$).
This method is typically used before calling
set_defaults.
Gets the width member.
Gets the height member.
Increments this object so that both of its dimensions are not less than the
corresponding dimensions of the size.
Sets the width and height members.
Combine this size object with another one replacing the default (i.e. equal
to $-1$) components of this object with those of the other. It is typically
used like this:
Sets the height.
Sets the width.
Assignment operator.
[This page automatically generated from the Textile source at 2023-06-13 21:31:32 +0000]