wrapper

Vocabulary

ui.gadgets.wrappers

Definition

USING: ui.gadgets ;

IN: ui.gadgets.wrappers

TUPLE: wrapper < gadget ;

Methods

USING: ui.baseline-alignment ui.gadgets ui.gadgets.wrappers ;

M: wrapper baseline gadget-child baseline ;


USING: ui.baseline-alignment ui.gadgets ui.gadgets.wrappers ;

M: wrapper cap-height gadget-child cap-height ;


USING: ui.gadgets ui.gadgets.wrappers ;

M: wrapper focusable-child* gadget-child ;


USING: accessors kernel ui.gadgets ui.gadgets.wrappers ;

M: wrapper layout* [ gadget-child ] [ dim>> ] bi >>dim drop ;


USING: ui.gadgets ui.gadgets.wrappers ;

M: wrapper pref-dim* gadget-child pref-dim ;