Searched refs:CHECKHIDE_TIME (Results 1 – 2 of 2) sorted by relevance
12 CHECKHIDE_TIME = 100 # milliseconds variable82 self.widget.after(CHECKHIDE_TIME, self.checkhide_event)104 self.widget.after(CHECKHIDE_TIME, self.checkhide_event)
14 CHECKHIDE_TIME = 100 # milliseconds variable112 self.anchor_widget.after(CHECKHIDE_TIME, self.checkhide_event)154 self.anchor_widget.after(CHECKHIDE_TIME, self.checkhide_event)