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 } ;