Searched defs:dev (Results 1 – 2 of 2) sorted by relevance
309 GdkDevice * const dev = gdk_seat_get_pointer(seat); in target_event_cb() local312 GdkDevice * const dev = gdk_device_manager_get_client_pointer(mngr); in target_event_cb() local
1679 GdkDevice * const dev = gui_gtk_get_pointer_device(widget); in gui_gtk_get_pointer() local1689 GdkDevice * const dev = gui_gtk_get_pointer_device(widget); in gui_gtk_window_at_position() local