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

Minor code cleanups for table output in UI

darcs
slava 2006-06-17 20:00:10 +00:00
parent be3a36131c
commit da6ddf5d8b
2 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
library/ui/gadgets/grids.factor
View File

@ -41,8 +41,7 @@ C: grid ( children -- grid )
M: grid pref-dim* ( grid -- dim ) M: grid pref-dim* ( grid -- dim )
[ [
[ [
[ 0 [ + ] reduce ] keep length [ sum ] keep length 1 [-] gap * +
1 [-] gap * +
] 2apply 0 3array ] 2apply 0 3array
] with-grid ; ] with-grid ;

6
library/ui/gadgets/presentations.factor
View File

@ -89,10 +89,14 @@ M: object-button gadget-help ( button -- string )
>r <pane> dup r> swap <styled-paragraph> >r <pane> dup r> swap <styled-paragraph>
>r swap with-pane r> ; inline >r swap with-pane r> ; inline
: styled-grid ( style grid -- )
<grid> 5 over set-grid-gap
border-width rot hash [ 5 ] unless* <border> ;
: <pane-grid> ( quot style grid -- gadget ) : <pane-grid> ( quot style grid -- gadget )
[ [
[ pick pick >r >r -rot styled-pane r> r> rot ] map [ pick pick >r >r -rot styled-pane r> r> rot ] map
] map 2nip <grid> 5 over set-grid-gap <default-border> ; ] map styled-grid nip ;
M: pane with-stream-table ( grid quot style pane -- ) M: pane with-stream-table ( grid quot style pane -- )
>r rot <pane-grid> r> print-gadget ; >r rot <pane-grid> r> print-gadget ;