def __init__(self, cfg, updater, theme, dot_size, info_bar, get_right_click_menu, log_colors, insert_task_popup): # NOTE: this view has separate family Group and Ungroup buttons # instead of a single Group/Ungroup toggle button, unlike the # other views the graph view can display intermediate states # between fully grouped and fully ungrouped (well, so can the # tree view, but in that case the toggle button determines # whether it displays a flat list or a proper tree view). self.cfg = cfg self.updater = updater self.theme = theme self.info_bar = info_bar self.get_right_click_menu = get_right_click_menu self.log_colors = log_colors self.insert_task_popup = insert_task_popup self.t = None self.menu_subgraphs_item = None self.gcapture_windows = [] self.xdot = xdot_widgets() self.xdot.widget.connect('clicked', self.on_url_clicked) self.xdot.widget.connect_after('motion-notify-event', self.on_motion_notify) self.last_url = None
def __init__(self, cfg, info_bar, get_right_click_menu, log_colors ): self.cfg = cfg self.info_bar = info_bar self.get_right_click_menu = get_right_click_menu self.log_colors = log_colors self.gcapture_windows = [] self.xdot = xdot_widgets() self.xdot.widget.connect( 'clicked', self.on_url_clicked ) self.xdot.widget.connect_after( 'motion-notify-event', self.on_motion_notify ) self.last_url = None