[pygtk] gtk.SpinButton - weird behaviour

[Andreas Heinlein]

Hello,

we have a GTK2 python app which uses a gtk.SpinButton with a precision 
of 1, i.e. numbers like 1234.5. This widget behaves oddly when trying to 
enter values directly with the keyboard. It is difficult to describe; 
when you click the field and enter some digits, only the first is 
accepted, then the marker jumps to the end of the field (after the 
decimal digit) where you cannot enter anything. You can move the mark 
manually again and enter some more digits. It just isn't possible to 
click the field once and enter "1234.5" like it should.

Is this a known GTK problem/bug? We're using GTK 2.20. The spinButton is 
configured with digits=1, numeric=True, snap-to-ticks=False, 
alignment=1, increments=0.1,10.

Thanks,
Andreas