ui.gadgets.tables: i think this is clearer.
parent
98a8230d1c
commit
7e3391ffb0
|
@ -194,16 +194,12 @@ M: table layout*
|
||||||
: draw-columns ( columns widths alignment font gap -- )
|
: draw-columns ( columns widths alignment font gap -- )
|
||||||
'[ [ _ ] 3dip _ draw-column ] 3each ;
|
'[ [ _ ] 3dip _ draw-column ] 3each ;
|
||||||
|
|
||||||
M: table draw-line ( row index table -- )
|
M:: table draw-line ( row index table -- )
|
||||||
[
|
row table renderer>> row-columns
|
||||||
nip
|
table column-widths>>
|
||||||
[ renderer>> row-columns ]
|
table table-column-alignment
|
||||||
[ column-widths>> ]
|
row index table row-font
|
||||||
[ table-column-alignment ]
|
table gap>>
|
||||||
tri
|
|
||||||
]
|
|
||||||
[ row-font ]
|
|
||||||
[ 2nip gap>> ] 3tri
|
|
||||||
draw-columns ;
|
draw-columns ;
|
||||||
|
|
||||||
M: table draw-gadget*
|
M: table draw-gadget*
|
||||||
|
|
Loading…
Reference in New Issue