Handbook
Glossary
border-button-theme ( gadget -- gadget )
Vocabulary
ui
.
gadgets
.
buttons
.
private
Inputs
gadget
an
object
Outputs
gadget
an
object
Definition
USING:
accessors
kernel
ui.gadgets
;
IN:
ui.gadgets.buttons.private
:
border-button-theme
( gadget -- gadget )
dup
gadget-child
border-button-label-theme
horizontal
>>orientation
<border-button-pen>
>>interior
{
10 2
}
>>size
;
inline