ui.gadgets.sliders: restoring the arrows (temporarily?).
parent
b31415f8a3
commit
6a5f3f192e
|
@ -235,7 +235,11 @@ PRIVATE>
|
||||||
swap >>model
|
swap >>model
|
||||||
16 >>line
|
16 >>line
|
||||||
dup orientation>> {
|
dup orientation>> {
|
||||||
|
[ <slider-pen> >>interior ]
|
||||||
[ <thumb> >>thumb ]
|
[ <thumb> >>thumb ]
|
||||||
[ <elevator> >>elevator ]
|
[ <elevator> >>elevator ]
|
||||||
[ drop dup add-thumb-to-elevator 1 track-add ]
|
[ drop dup add-thumb-to-elevator 1 track-add ]
|
||||||
|
[ <up-button> f track-add ]
|
||||||
|
[ <down-button> f track-add ]
|
||||||
|
[ drop <gadget> { 1 1 } >>dim f track-add ]
|
||||||
} cleave ;
|
} cleave ;
|
||||||
|
|
Loading…
Reference in New Issue