5 { $class-description "A border gadget contains a single child and centers it, with a fixed-width border. Borders are created by calling " { $link <border> } " or " { $link <default-border> } "." } ;
8 { $values { "child" gadget } { "gap" "a pair of integers" } { "border" "a new " { $link border } } }
9 { $description "Creates a new border around the child with the specified horizontal and vertical gap." }
10 { $see-also <default-border> } ;
12 HELP: <default-border>
13 { $values { "child" gadget } { "border" "a new " { $link border } } }
14 { $description "Creates a 10-pixel border border around the child." }
15 { $see-also <border> } ;