<flex-border> ( gadget gaps -- gadget' )
Flex borders

Vocabulary
ui.gadgets.flex-borders

Inputs

gadget	a gadget to add padding to
gaps	a (width, height) pair of padding sizes

Outputs

gadget'

a new wrapper gadget that contains the gadget and some padding gadgets

Word description
Creates a new wrapper gadget that contains gadget and some padding gadgets. The size of the padding is given in gaps. If one of the dimensions in gaps is zero or negative, the corresponding padding is not added. If both dimensions are zero or negative, <flex-border> does nothing.

For example, gadget { 0 25 } <flex-border> adds 25 pixels of padding on top and bottom of the gadget, but not on the sides.

Definition

USING: arrays kernel locals.backend math sequences ui.gadgets
ui.gadgets.flex-borders.private ;

IN: ui.gadgets.flex-borders

: <flex-border> ( gadget gaps -- gadget' )
    first2 [
        2 load-locals -1 get-local 0 > -1 get-local [
            load-local 0 get-local 0 2array horizontal border
            1 drop-locals
        ] curry when 0 get-local 0 > 0 get-local [
            load-local 0 0 get-local 2array vertical border
            1 drop-locals
        ] curry when 2 drop-locals
    ] call ;