Slider (and other future subclasses) should define refreshRendering().

FormWidget and FormValueWidget should advise it, because they are merely
tweaking the output.