SpinBox: fix buggy formatting code (didn’t work with negative numbers) and comment it anyway, since it’s useless
SpinBox: value changes are now handled correctly, and text is only formatted when focus is lost or return is pressed