You discovered a bug in the engine, and you are sure that it is not a problem of your code? Just post it in here. Please read the bug posting guidelines first.
There is no EGET_SPINBOX_CHANGED event sent when enter is pressed in a spinbox like one would expect. It can be easily added by changing line 218 in CGUISpinBox.cpp from