(measure-metrics) ( children sizes -- graphics-height ascent descent cap-height )

Vocabulary

ui.baseline-alignment.private

Inputs

children	an object
sizes	an object

Outputs

graphics-height	an object
ascent	an object
descent	an object
cap-height	an object

Definition

USING: combinators sequences ;

IN: ui.baseline-alignment.private

: (measure-metrics)
    ( children sizes -- graphics-height ascent descent cap-height )
    [ <gadget-metrics> ] 2map {
        [ max-graphics-height ]
        [ max-ascent ]
        [ max-descent ]
        [ max-cap-height ]
    } cleave ;