def _current_event_time(): _time = gtk.get_current_event_time() or keybindings.get_current_event_time() global _latest_event_time if _time > 0: _latest_event_time = _time else: _time = _latest_event_time return _time
def activate(self, sender=None, time=0): if not time: time = (gtk.get_current_event_time() or keybindings.get_current_event_time()) self.window.stick() self.window.present_with_time(time) self.window.window.focus(timestamp=time) self.interface.focus()
def activate(self, sender=None, time=0): self._window_hide_timer.invalidate() if not time: time = (gtk.get_current_event_time() or keybindings.get_current_event_time()) self.window.stick() self.window.present_with_time(time) self.window.window.focus(timestamp=time) self.window.set_position(gtk.WIN_POS_NONE) self.interface.focus()
def current_event_time(): return (gtk.get_current_event_time() or keybindings.get_current_event_time() or _internal_data.current_event_time)
def _get_current_event_time(): return gtk.get_current_event_time() or keybindings.get_current_event_time()
def current_event_time(): return (gtk.get_current_event_time() or keybindings.get_current_event_time() or _internal_data.current_event_time)