Settings: Hack in display of slider values

Most of this formatting (and all of the functionality) was lost during
the rewrite. This by no means is intended to stay as-is, but should
hopefully be some start that can also be shipped in upcoming releases.