IntegerField deprecated, f�r Ints tuts auch ein JSpinner mit einem SpinnerNumberModel
Authored by: gebhard 2005-10-28
Parent: [r1138]
Child: [r1140]