bool translate_coordinates(GtkWidget dest_widget, src_x, src_y);