Thanks ferdinand and zeekom for answers.
I found another "dirty" solution, which should works on all OS,
and allow to enter dot or comma as decimal separator.
Thanks
Code:
=== modified file 'bin/widget/view/form_gtk/spinbutton.py'
--- bin/widget/view/form_gtk/spinbutton.py 2009-01-04 22:13:17 +0000
+++ bin/widget/view/form_gtk/spinbutton.py 2010-03-04 08:38:14 +0000
@@ -31,7 +31,7 @@
adj = gtk.Adjustment(0.0, -sys.maxint, sys.maxint, 1.0, 5.0)
self.widget = gtk.SpinButton(adj, 1.0, digits=int( attrs.get('digits',(14,2))[1] ) )
- self.widget.set_numeric(True)
+ self.widget.set_numeric(False)
self.widget.set_activates_default(True)
self.widget.connect('button_press_event', self._menu_open)
if self.attrs['readonly']: