SpinnerTextEditManager class added: pressing up, down and page up/down
in the spinner widget text editor increase or decrease it's value for a
preset step.