border-minor-dim ( border -- dim )

Vocabulary

ui.gadgets.borders.private

Inputs

border

an object

Outputs

dim

an object

Definition

USING: ui.gadgets ;

IN: ui.gadgets.borders.private

: border-minor-dim ( border -- dim ) gadget-child pref-dim ;