Handbook
Glossary
<radio-knob> ( -- gadget )
Vocabulary
ui.gadgets.buttons.private
Inputs
None
Outputs
gadget
an
object
Definition
USING:
accessors
kernel
ui.gadgets
ui.pens
;
IN:
ui.gadgets.buttons.private
:
<radio-knob>
( -- gadget )
<gadget>
<radio-pen>
>>interior
dup
dup
interior>>
pen-pref-dim
>>dim
;