Handbook
Glossary
slider-pen
Vocabulary
ui
.
gadgets
.
sliders
.
private
Definition
IN:
ui.gadgets.sliders.private
TUPLE:
slider-pen
enabled disabled
;
Methods
USING:
kernel
ui.gadgets.sliders.private
ui.pens
;
M:
slider-pen
draw-boundary
dupd
current-pen
draw-boundary
;
USING:
kernel
ui.gadgets.sliders.private
ui.pens
;
M:
slider-pen
draw-interior
dupd
current-pen
draw-interior
;
USING:
kernel
ui.gadgets.sliders.private
ui.pens
;
M:
slider-pen
pen-pref-dim
2drop
{
2 2
}
;