#625: widget slider updated.