This class implements a spin box widget.
It is a text box with a spin button that allows the user to choose an integer value either by clicking the up/down buttons to increase/decrease the value currently displayed or by typing the value directly into the spin box.
If the value is entered directly into the spin box, RETURN must be pressed to apply the new value.