draw-column-titles ( table -- )

Vocabulary

ui.gadgets.tables.private

Inputs

table

an object

Outputs

None

Definition

USING: accessors combinators kernel namespaces
ui.gadgets.line-support ui.gadgets.tables ui.text ;

IN: ui.gadgets.tables.private

: draw-column-titles ( table -- )
    dup font>> font-metrics height>> \ line-height [
        {
            [ renderer>> column-titles ]
            [ column-widths>> ]
            [ table-column-alignment ]
            [ font>> column-title-font ]
            [ gap>> ]
        } cleave draw-columns
    ] with-variable ;