From 60fddddc0d268b998a4de625ec182c96c8913717 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Thu, 22 Mar 2018 10:01:14 -0700 Subject: [PATCH] ui.gadgets.sliders: prevent negative elevator-length. --- basis/ui/gadgets/sliders/sliders.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/basis/ui/gadgets/sliders/sliders.factor b/basis/ui/gadgets/sliders/sliders.factor index 835b2029b6..e195b376ab 100644 --- a/basis/ui/gadgets/sliders/sliders.factor +++ b/basis/ui/gadgets/sliders/sliders.factor @@ -32,7 +32,7 @@ CONSTANT: elevator-padding 4 : elevator-length ( slider -- n ) [ elevator>> dim>> ] [ orientation>> ] bi v. - elevator-padding 2 * - ; + elevator-padding 2 * [-] ; CONSTANT: min-thumb-dim 30