<title-bar> ( title -- title-bar )

Vocabulary

ui.gadgets.labeled.private

Inputs

title

an object

Outputs

title-bar

an object

Definition

USING: accessors ui.gadgets.borders ui.gadgets.labels
ui.pens.gradient ui.theme ;

IN: ui.gadgets.labeled.private

: <title-bar> ( title -- title-bar )
    >label [ t >>bold? ] change-font { 0 4 } <border>
    title-bar-gradient <gradient> >>interior ;