ui.gadgets.sliders: fix usability issue
parent
eed7b20c7f
commit
31c2ede034
|
@ -53,8 +53,8 @@ CONSTANT: min-thumb-dim 30
|
||||||
[ slider-max* 1 max ]
|
[ slider-max* 1 max ]
|
||||||
bi / ;
|
bi / ;
|
||||||
|
|
||||||
: slider>screen ( m slider -- n ) slider-scale * elevator-padding + ;
|
: slider>screen ( m slider -- n ) slider-scale * ;
|
||||||
: screen>slider ( m slider -- n ) [ elevator-padding - ] dip slider-scale / ;
|
: screen>slider ( m slider -- n ) slider-scale / ;
|
||||||
|
|
||||||
M: slider model-changed nip elevator>> relayout-1 ;
|
M: slider model-changed nip elevator>> relayout-1 ;
|
||||||
|
|
||||||
|
@ -133,7 +133,7 @@ elevator H{
|
||||||
swap >>orientation ;
|
swap >>orientation ;
|
||||||
|
|
||||||
: thumb-loc ( slider -- loc )
|
: thumb-loc ( slider -- loc )
|
||||||
[ slider-value ] keep slider>screen ;
|
[ slider-value ] keep slider>screen elevator-padding + ;
|
||||||
|
|
||||||
: layout-thumb-loc ( thumb slider -- )
|
: layout-thumb-loc ( thumb slider -- )
|
||||||
[ thumb-loc ] [ orientation>> ] bi n*v
|
[ thumb-loc ] [ orientation>> ] bi n*v
|
||||||
|
|
Loading…
Reference in New Issue