ui.gadgets.slider: Rename.

db4
Doug Coleman 2013-03-23 16:47:04 -07:00
parent 16964064b6
commit c1b4bcb58e
1 changed files with 5 additions and 5 deletions

View File

@ -193,7 +193,7 @@ M: slide-button pref-dim* dup interior>> pen-pref-dim ;
"vertical-scroller-downarrow-clicked"
<slide-button> ;
TUPLE: slider-pen enabled disabled ;
TUPLE: slider-pen-tuple enabled disabled ;
: <slider-pen> ( orientation -- pen )
{
@ -210,18 +210,18 @@ TUPLE: slider-pen enabled disabled ;
"vertical-scroller-bottom-disabled" theme-image
] }
} case
[ f f <tile-pen> ] bi-curry@ 2bi \ slider-pen boa ;
[ f f <tile-pen> ] bi-curry@ 2bi \ slider-pen-tuple boa ;
: slider-pen ( slider pen -- pen )
[ slider-enabled? ] [ [ enabled>> ] [ disabled>> ] bi ] bi* ? ;
M: slider-pen draw-interior
M: slider-pen-tuple draw-interior
dupd slider-pen draw-interior ;
M: slider-pen draw-boundary
M: slider-pen-tuple draw-boundary
dupd slider-pen draw-boundary ;
M: slider-pen pen-pref-dim
M: slider-pen-tuple pen-pref-dim
enabled>> pen-pref-dim ;
M: slider pref-dim*