This section includes detailed information for the concept of widget "RangeSlider".
Hierarchy for overlapping slider thumbs
If the two slider thumbs overlap, the slider thumb that was last changed is placed over the other.
This ensures that both slider thumbs can always be moved.
