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