Ejemplo n.º 1
0
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
Ejemplo n.º 2
0
	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()
Ejemplo n.º 3
0
	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()
Ejemplo n.º 4
0
def current_event_time():
	return (gtk.get_current_event_time() or
	        keybindings.get_current_event_time() or
	        _internal_data.current_event_time)
Ejemplo n.º 5
0
def _get_current_event_time():
	return gtk.get_current_event_time() or keybindings.get_current_event_time()
Ejemplo n.º 6
0
def current_event_time():
    return (gtk.get_current_event_time()
            or keybindings.get_current_event_time()
            or _internal_data.current_event_time)