core/ui/gadgets/borders.facts

   1 IN: gadgets-borders
   2 USING: help gadgets ;
   3
   4 HELP: border
   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> } "." } ;
   6
   7 HELP: <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> } ;
  11
  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> } ;