Python listbox_dialogの例

コード例 #1

ファイル: ivy_graph_ui.py プロジェクト: ZZHGit/ivy

 def materialize_from_selected(self):
     if hasattr(self,'mark'):
         sorts = [self.lookup_node(x).sort for x in [self.mark,self.current_node]]
         required_sort = ivy_logic.RelationSort(sorts)
         rels = [r for r in self.g.relations if r.sort == required_sort]
         items = [str(r.rel_lit) for r in rels]
         msg = "Materialize this relation from selected node:"
         uu.listbox_dialog(self.tk,self.root,msg,items,command=functools.partial(self.materialize_from_selected_aux,rels))

コード例 #2

ファイル: tk_ui.py プロジェクト: csci5535-s20/project-verifiedepc

 def listbox_dialog(self,
                    msg,
                    items,
                    command=lambda: None,
                    on_cancel=lambda: None,
                    multiple=False):
     uu.listbox_dialog(self.tk, self.frame, msg, items, command, on_cancel,
                       multiple)

コード例 #3

ファイル: ivy_graph_ui.py プロジェクト: JJTRX/ivy

 def materialize_from_selected(self):
     if hasattr(self,'mark'):
         sorts = [self.lookup_node(x).sort for x in [self.mark,self.current_node]]
         required_sort = ivy_logic.RelationSort(sorts)
         rels = [r for r in self.g.relations if r.sort == required_sort]
         items = [str(r.rel_lit) for r in rels]
         msg = "Materialize this relation from selected node:"
         uu.listbox_dialog(self.tk,self.root,msg,items,command=functools.partial(self.materialize_from_selected_aux,rels))

コード例 #4

ファイル: tk_ui.py プロジェクト: odedp/ivy

 def listbox_dialog(self, msg, items, command=lambda: None, on_cancel=lambda: None, multiple=False):
     uu.listbox_dialog(self.tk, self.frame, msg, items, command, on_cancel, multiple)