border
Factor handbook » UI framework » Building user interfaces » Pre-made UI gadgets » Border gadgets

Next:

<border> ( child gap -- border )

Vocabulary
ui.gadgets.borders

Class description
A border gadget contains a single child and centers it, with a fixed-width border. Borders are created by calling <border>.

Definition

USING: ui.baseline-alignment ;

IN: ui.gadgets.borders

TUPLE: border < aligned-gadget
    { size initial: { 0 0 } } { fill initial: { 0 0 } }
    { align initial: { 1/2 1/2 } } { min-dim initial: { 0 0 } }
    ;

Methods

USING: ui.baseline-alignment ui.gadgets.borders
ui.gadgets.borders.private ;

M: border baseline* [ baseline ] border-metric ;


USING: ui.baseline-alignment ui.gadgets.borders
ui.gadgets.borders.private ;

M: border cap-height* [ cap-height ] border-metric ;


USING: ui.gadgets ui.gadgets.borders ;

M: border focusable-child* gadget-child ;


USING: kernel math.rectangles ui.gadgets ui.gadgets.borders
ui.gadgets.borders.private ;

M: border layout*
    [ border-child-rect ] [ gadget-child ] bi set-rect-bounds ;


USING: kernel ui.gadgets ui.gadgets.borders ;

M: border pref-dim* dup gadget-child pref-dim border-pref-dim ;