steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

ui.gadgets.packs: remove make-pile

db4
Eduardo Cavazos 2008-07-14 20:03:02 -05:00
parent 886fbcfe98
commit 7df6e58f7e
2 changed files with 0 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
extra/ui/gadgets/packs/packs-docs.factor
View File

@ -10,7 +10,6 @@ ARTICLE: "ui-pack-layout" "Pack layouts"
{ $subsection <pile> }
{ $subsection <shelf> }
"Creating packs using a combinator:"
{ $subsection make-pile }
{ $subsection make-filled-pile }
{ $subsection make-shelf }
@ -24,7 +23,6 @@ HELP: pack
{ $link <pack> }
{ $link <pile> }
{ $link <shelf> }
{ $link make-pile }
{ $link make-filled-pile }
{ $link make-shelf }
}
@ -64,10 +62,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-pile
{ $values { "quot" quotation } { "pack" "a new " { $link pack } } }
{ $description "Creates a new " { $link pack } " which lays out a sequence of gadgets vertically. The quotation can add children by calling the gadget, word." } ;
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." } ;

3
extra/ui/gadgets/packs/packs.factor
View File

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