32
32
adj = gtk.Adjustment(0.0, -sys.maxint, sys.maxint, 1.0, 5.0)
33
33
self.widget = gtk.SpinButton(adj, 1.0, digits=int( attrs.get('digits',(14,2))[1] ) )
35
35
self.widget.set_activates_default(True)
36
36
self.widget.connect('button_press_event', self._menu_open)
37
37
if self.attrs['readonly']: