def _init_components(self):
self._panes = PanedWindow(self, orient='horizontal', sashrelief='raised')
self._panes.pack(expand=True, fill='both')
self._left_pane = Frame(self._panes, padx=2, pady=2)
self._right_pane = Frame(self._panes)
self._panes.add(self._left_pane, width=250)
self._panes.add(self._right_pane)
# group name
group_name_pane = LabelFrame(self._left_pane, text="Group", padx=10, pady=5)
group_name_pane.pack(fill='x')
self._group_name = GroupNameLabel(group_name_pane, self._group)
self._group_name.pack(expand=True, fill='both')
# group order
group_order_pane = LabelFrame(self._left_pane, text="Order", padx=10, pady=5)
group_order_pane.pack(fill='x')
self._group_order = IntegerContainer(group_order_pane, integer=self._group.order())
self._group_order.pack(expand=True, fill='both')
# apex
self._apex_pane = LabelFrame(self._left_pane, text="Apex", padx=10, pady=5)
self._apex_pane.pack(expand=True, fill='both')
self._apex_container = ApexListContainer(self._apex_pane, apex=self._group.apex())
self._apex_container.pack(expand=True, fill='both')
# graph controls
cocliques_frame = LabelFrame(self._left_pane, text="Cocliques", padx=10, pady=5)
cocliques_frame.pack(fill='x')
self._cocliques_button = Button(cocliques_frame, text="Calculate", command=self._show_cocliques)
self._cocliques_button.pack(anchor='nw')
self._cocliques_container = ListContainer(cocliques_frame)
self._cocliques_list = Listbox(self._cocliques_container)
self._cocliques_container.set_listbox(self._cocliques_list)
# Button(graph_controls, text='Group equivalent vertices').pack(anchor='nw')
# this is a button that show up instead of graph canvas if we uncheck 'Show graph' checkbox.
self._show_graph_button = Button(self._right_pane, text='Show graph',
command=self._show_graph_canvas)
self._graph_canvas = None
if self._show_graph:
self._show_graph_canvas()
else:
self._show_graph_button.pack()
def _init_components(self):
self._panes = PanedWindow(self, orient='horizontal',
sashrelief='raised')
self._panes.pack(expand=True, fill='both')
self._left_pane = Frame(self._panes, padx=2, pady=2)
self._right_pane = Frame(self._panes)
self._panes.add(self._left_pane, width=500)
self._panes.add(self._right_pane)
# group name
group_name_pane = LabelFrame(self._left_pane, text="Group")
group_name_pane.pack(fill='x')
self._group_name = GroupNameLabel(group_name_pane, self._group)
self._group_name.pack(expand=True, fill='both')
# group order
group_order_pane = LabelFrame(self._left_pane, text="Order")
group_order_pane.pack(fill='x')
self._group_order = IntegerContainer(group_order_pane,
integer=self._group.order())
self._group_order.pack(expand=True, fill='both')
# apex
self._apex_pane = LabelFrame(self._left_pane, text="Apex")
self._apex_pane.pack(expand=True, fill='both')
self._apex_container = ApexListContainer(self._apex_pane,
apex=self._group.apex())
self._apex_container.pack(expand=True, fill='both')
self._show_graph_button = Button(self._right_pane, text='Show graph',
command=self._show_graph_canvas)
self._graph_canvas = None
if self._show_graph:
self._show_graph_canvas()
else:
self._show_graph_button.pack()
