vdr/tvheadend: use slider control in settings gui