update-filled-column ( table -- )

Vocabulary

ui.gadgets.tables.private

Inputs

table

an object

Outputs

None

Definition

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

IN: ui.gadgets.tables.private

: update-filled-column ( table -- )
    [ filled-column-width ] [ renderer>> filled-column ]
    [ column-widths>> ] tri 2dup empty? not and
    [ [ + ] change-nth ] [ 3drop ] if ;