Cleanup some lint warnings.

[factor.git] / basis / ui / gadgets / sliders / sliders.factor

diff --git a/basis/ui/gadgets/sliders/sliders.factor b/basis/ui/gadgets/sliders/sliders.factor
index 867a53eb68e871adb8e2cfb8c47bc3dbb755673a..c47bafba2a48af848b707969fd92b1343a6a53cf 100644 (file)
--- a/basis/ui/gadgets/sliders/sliders.factor
+++ b/basis/ui/gadgets/sliders/sliders.factor
@@ -142,12 +142,11 @@ elevator H{
     [ slider>screen elevator-padding + ] tri ;
 
 : layout-thumb-loc ( thumb slider -- )
-    [ thumb-loc ] [ orientation>> ] bi n*v
-    [ floor ] map >>loc drop ;
+    [ thumb-loc ] [ orientation>> ] bi n*v vfloor >>loc drop ;
 
 : layout-thumb-dim ( thumb slider -- )
     [ dim>> ] [ thumb-dim ] [ orientation>> ] tri [ n*v ] keep set-axis
-    [ ceiling ] map >>dim drop ;
+    vceiling >>dim drop ;
 
 : slider-enabled? ( slider -- ? )
     visible-portion 1 = not ;