931
931
screen = gtk_window_get_screen (GTK_WINDOW (toplevel));
932
932
root_window = gdk_screen_get_root_window (screen);
934
gdk_window_get_device_position(root_window, gtk_get_current_event_device (), &new_x, &new_y, &modifier_mask);
935
gdk_window_get_device_position(root_window, device, &new_x, &new_y, NULL);