Searched refs:CHECKHIDE_TIME (Results 1 – 1 of 1) sorted by relevance
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)