Remove 'set-gadget-dim'

extra/ui/gadgets/gadgets-docs.factor

@@ -65,10 +65,6 @@ HELP: relayout-1
 
 { relayout relayout-1 } related-words
 
-HELP: set-gadget-dim
-{ $values { "dim" "a pair of integers" } { "gadget" gadget } }
-{ $description "Resizes and relayouts a gadget before the next iteration of the event loop." } ;
-
 HELP: pref-dim*
 { $values { "gadget" gadget } { "dim" "a pair of integers" } }
 { $contract "Outputs the preferred dimensions of the gadget, possibly computing them from the preferred dimensions of the gadget's children." }

extra/ui/gadgets/gadgets.factor

@@ -176,8 +176,6 @@ M: gadget (>>dim) ( dim gadget -- )
      [ tuck call-next-method do-invalidate drop ]
    if ;
 
-: set-gadget-dim ( dim gadget -- ) (>>dim) ;
-
 GENERIC: pref-dim* ( gadget -- dim )
 
 : ?set-gadget-pref-dim ( dim gadget -- )

extra/ui/ui-docs.factor

@@ -236,8 +236,7 @@ $nl
 
 ARTICLE: "ui-null-layout" "Manual layouts"
 "When automatic layout is not appropriate, gadgets can be added to a parent with no layout policy, and then positioned and sized manually:"
-{ $subsection set-rect-loc }
-{ $subsection set-gadget-dim } ;
+{ $subsection set-rect-loc } ;
 
 ARTICLE: "ui-layout-impl" "Implementing layout gadgets"
 "The relayout process proceeds top-down, with parents laying out their children, which in turn lay out their children. Custom layout policy is implemented by defining a method on a generic word:"