min-width in area<%>
Gets or sets the area's minimum width (in pixels) for geometry management.
The minimum width is ignored when it is smaller than the area's
minimum graphical width, or when it is smaller
than the width reported by
container-size if the area is a container. See Geometry Management for more information.
An area's initial minimum width is its graphical minimum width. See
also
get-graphical-min-size .
( -> exact integer in [0, 10000]send an-area min-width)
Returns the current minimum width (in pixels).
( -> void
send an-area min-width w)
w : exact integer in [0, 10000]
Sets the minimum width (in pixels); if w is smaller than the
internal hard minimum, an exn:application:mismatch exception is raised.