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, 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
