30
29
def __init__(self, window, parent, model, attrs={}):
31
30
interface.widget_interface.__init__(self, window, parent, model, attrs)
33
adj = gtk.Adjustment(0.0, -sys.maxint, sys.maxint, 1.0, 5.0)
32
adj = gtk.Adjustment(0.0, -2**100, 2**100, 1.0, 5.0)
34
33
self.widget = gtk.SpinButton(adj, 1, digits=0)
35
34
self.widget.set_width_chars(5)
36
35
self.widget.set_activates_default(True)