def EventMove(self, event):
if HydrusData.TimeHasPassedFloat(self._last_move_pub + 0.1):
HG.client_controller.pub('top_level_window_move_event')
self._last_move_pub = HydrusData.GetNowPrecise()
return True # was: event.ignore()
def DeleteVariable( self, name ):
with self._variable_lock:
if name in self._variables: del self._variables[ name ]
if HydrusData.TimeHasPassedFloat( self._next_ui_update_pause ):
time.sleep( 0.00001 )
self._next_ui_update_pause = HydrusData.GetNowFloat() + self._ui_update_pause_period
def IsDue(self):
return HydrusData.TimeHasPassedFloat(self._next_work_time)
