UI Filter widget: slider

by Christof Flachsmann