Searched refs:gui_gtk_get_pointer_device (Results 1 – 1 of 1) sorted by relevance
1659 gui_gtk_get_pointer_device(GtkWidget *widget) in gui_gtk_get_pointer_device() function1679 GdkDevice * const dev = gui_gtk_get_pointer_device(widget); in gui_gtk_get_pointer()1689 GdkDevice * const dev = gui_gtk_get_pointer_device(widget); in gui_gtk_window_at_position()