def __init__(self, option=None):
HIGTable.__init__(self)
self.create_and_attach_widgets()
self.set_border_width(5)
self.arg_type = None
def __init__(self, option=None):
HIGTable.__init__(self)
self.create_and_attach_widgets()
self.set_border_width(5)
self.arg_type=None
