Implementation of Bigger sliders with markings

It appears that the manual needs to be fixed then:

"3.2.2.1. Sliders¶

Sliders offer five different ways of interaction, depending on the level of control you need.

1. Triangular marker

Left-click the slider's triangular marker and drag it to the left or right."

(see https://www.darktable.org/usermanual/en/interacting.html).