Android widget for selecting a range of values.