initial-widths ( table rows -- widths ) - Factor Documentation

initial-widths ( table rows -- widths )

Vocabulary
ui.gadgets.tables.private

Inputs

table	an object
rows	an object

Outputs

widths

Definition

USING: accessors kernel sequences ui.gadgets.tables ui.text ;

IN: ui.gadgets.tables.private

: initial-widths ( table rows -- widths )
over renderer>> column-titles dup
[ [ drop font>> ] dip [ text-width ] with map ]
[ drop nip first length 0 <repetition> ] if ;