Handbook
Glossary
<radio-pen> ( -- pen )
Vocabulary
ui
.
gadgets
.
buttons
.
private
Inputs
None
Outputs
pen
an
object
Definition
USING:
ui.gadgets.buttons
ui.pens.polygon
ui.theme
;
IN:
ui.gadgets.buttons.private
:
<radio-pen>
( -- pen )
roll-button-rollover-border
checkmark-circle
<polygon>
roll-button-rollover-border
checkmark-circle
<polygon>
dim-color
checkmark-circle
<polygon>
errors-color
checkmark-circle
<polygon>
toolbar-button-pressed-background
checkmark-circle
<polygon>
<button-pen>
;