ui.gadgets.packs: remove make-filled-pile

extra/ui/gadgets/packs/packs-docs.factor

@@ -10,7 +10,6 @@ ARTICLE: "ui-pack-layout" "Pack layouts"
 { $subsection <pile> }
 { $subsection <shelf> }
 "Creating packs using a combinator:"
-{ $subsection make-filled-pile }
 { $subsection make-shelf }
 
 "For more control, custom layouts can reuse portions of pack layout logic:"
@@ -23,7 +22,6 @@ HELP: pack
     { $link <pack> }
     { $link <pile> }
     { $link <shelf> }
-    { $link make-filled-pile }
     { $link make-shelf }
 }
 "Packs have the following slots:"
@@ -62,10 +60,6 @@ HELP: pack-pref-dim
     "This word is useful if you are writing your own layout gadget which inherits from " { $link pack } ". This allows you to reuse layout logic while computing gadget sizes using a custom procedure."
 } ;
 
-HELP: make-filled-pile
-{ $values { "quot" quotation } { "pack" "a new " { $link pack } } }
-{ $description "Creates a new " { $link pack } " which lays out a sequence of gadgets vertically, such that all gadgets have the same width. The quotation can add children by calling the gadget, word." } ;
-
 HELP: make-shelf
 { $values { "quot" quotation } { "pack" "a new " { $link pack } } }
 { $description "Creates a new " { $link pack } " which lays out a sequence of gadgets horizontally. The quotation can add children by calling the gadget, word." } ;

extra/ui/gadgets/packs/packs.factor

@@ -61,8 +61,5 @@ M: pack children-on ( rect gadget -- seq )
     dup gadget-orientation swap gadget-children
     [ fast-children-on ] keep <slice> ;
 
-: make-filled-pile ( quot -- pack )
-    <filled-pile> swap make-gadget ; inline
-
 : make-shelf ( quot -- pack )
     <shelf> swap make-gadget ; inline