ui.gadgets.sliders: prevent negative elevator-length.
parent
dc52e28f2f
commit
60fddddc0d
|
@ -32,7 +32,7 @@ CONSTANT: elevator-padding 4
|
||||||
|
|
||||||
: elevator-length ( slider -- n )
|
: elevator-length ( slider -- n )
|
||||||
[ elevator>> dim>> ] [ orientation>> ] bi v.
|
[ elevator>> dim>> ] [ orientation>> ] bi v.
|
||||||
elevator-padding 2 * - ;
|
elevator-padding 2 * [-] ;
|
||||||
|
|
||||||
CONSTANT: min-thumb-dim 30
|
CONSTANT: min-thumb-dim 30
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue