Searched refs:event_time (Results 1 – 4 of 4) sorted by relevance
410 guint32 event_time; member
1027 gui.event_time = event->time; in key_press_event()1184 gui.event_time = event->time; in key_release_event()1782 gui.event_time = event->time; in button_press_event()1891 gui.event_time = event->time; in button_release_event()6646 gtk_selection_owner_set(NULL, cbd->gtk_sel_atom, gui.event_time); in clip_mch_lose_selection()6660 gui.event_time); in clip_mch_own_selection()
1932 trigger.time = gui.event_time; in gui_mch_show_popupmenu()1949 3U, gui.event_time); in gui_mch_show_popupmenu()
187 gui.event_time = GDK_CURRENT_TIME; in gui_attempt_start()