smalictrace.py 文件源码

def __init__(self, max_depth_value):
        self.on_max_depth_changed = None
        max_depth_entry = self.max_depth_entry = gtk.SpinButton(
            gtk.Adjustment(value=max_depth_value, lower=1, upper=100,
            step_incr=1, page_incr=10), digits=0)
        max_depth_entry.get_adjustment().connect('value_changed',
            self._max_depth_changed, max_depth_entry)
        max_depth_entry.set_alignment(0)
        max_depth_label = gtk.Label()
        max_depth_label.set_alignment(1, 0.5)
        max_depth_label.set_text_with_mnemonic('Maximum _Depth')
        max_depth_label.set_mnemonic_widget(max_depth_entry)
        legend = self._create_legend()
        table = self.view = gtk.Table(2, 3)
        table.set_border_width(8)
        table.set_row_spacings(8)
        table.set_col_spacings(8)
        table.attach(max_depth_label, 0, 1, 0, 1, gtk.FILL, gtk.FILL)
        table.attach(max_depth_entry, 1, 2, 0, 1, gtk.SHRINK, gtk.FILL)
        table.attach(gtk.Label(), 2, 3, 0, 1)  # space filler
        table.attach(legend, 0, 3, 1, 2)