Example #1
0
 def destroy(self):
     self.cancel_show_pointer_overlay_timer()
     self.cancel_remove_pointer_overlay_timer()
     if self.recheck_focus_timer>0:
         self.source_remove(self.recheck_focus_timer)
         self.recheck_focus_timer = -1
     GTKClientWindowBase.destroy(self)
Example #2
0
 def destroy(self):
     if self.recheck_focus_timer > 0:
         self.source_remove(self.recheck_focus_timer)
         self.recheck_focus_timer = -1
     GTKClientWindowBase.destroy(self)