Python ok_dialog Examples

Example #1

File: ivy_ui.py Project: simudream/ivy

 def find_extension(self,node):
     try:
         with RunContext(self):
             a = next(self.g.state_extensions(node))
             self.do_state_action(a)
     except StopIteration:
         uu.ok_dialog(self.tk,self.root,"State {} is closed.".format(node.id))

Example #2

File: ivy_ui.py Project: asyaf/ivy

 def find_extension(self, node):
     try:
         with RunContext(self):
             a = next(self.g.state_extensions(node))
             self.do_state_action(a)
     except StopIteration:
         uu.ok_dialog(self.tk, self.root,
                      "State {} is closed.".format(node.id))

Example #3

 def do_find(self, pats, gen):
     sel = self.hlist.info_selection()
     anchor_addr = sel[0] if len(sel) else None
     anchor_ev = lookup(self.evs, anchor_addr) if anchor_addr else None
     res = ev.find(gen(anchor_addr)(self.evs), pats, anchor=anchor_ev)
     if res == None:
         uu.ok_dialog(the_ui.tk, self, 'Pattern not found')
         return
     a, e = res
     self.hlist.selection_clear()
     self.uncover(a)
     self.hlist.selection_set(a)
     self.hlist.see(a)

Example #4

File: ivy_ev_viewer.py Project: yotamfe/ivy

 def do_find(self,pats,gen):
     sel = self.hlist.info_selection()
     anchor_addr = sel[0] if len(sel) else None
     anchor_ev = lookup(self.evs,anchor_addr) if anchor_addr else None
     res = ev.find(gen(anchor_addr)(self.evs),pats,anchor=anchor_ev)
     if res == None:
         uu.ok_dialog(the_ui.tk,self,'Pattern not found')
         return
     a,e = res
     self.hlist.selection_clear()
     self.uncover(a)
     self.hlist.selection_set(a)
     self.hlist.see(a)

Example #5

File: tk_ui.py Project: csci5535-s20/project-verifiedepc

 def ok_dialog(self, msg):
     uu.ok_dialog(self.tk, self.frame, msg, ans=self.getans())

Example #6

File: tk_ui.py Project: odedp/ivy

 def ok_dialog(self, msg):
     uu.ok_dialog(self.tk, self.frame, msg, ans=self.getans())

Example #7

File: tk_ui.py Project: pbnj-io/ivy

 def ok_dialog(self,msg):
     uu.ok_dialog(self.tk,self.frame,msg)