Handbook
Glossary
border-button-label-theme ( gadget -- )
Vocabulary
ui
.
gadgets
.
buttons
.
private
Inputs
gadget
an
object
Outputs
None
Definition
USING:
accessors
kernel
ui.gadgets.labels
;
IN:
ui.gadgets.buttons.private
:
border-button-label-theme
( gadget -- )
dup
label?
[
[
clone
t
>>bold?
]
change-font
]
when
drop
;