Spinner widget: changes in the text edit mode don't need to be accepted
with enter when using the up/down page up/page down buttons.