So, umm, this.
Need I say more?
nice [padding so it can be 5 characters]
good catch, thanks! Will fix in the next patch sometime later this week.
Is it a bug that after a rename_all instances of a variable is made, the slider watcher is forgotten (i.e. changed to 'normal watcher') and so are the slider_max and slider_min values that were previously set?
(It's inconvenient that you need to change it back to slider and set its min/max values again)
or
<span></span>