pgtk_get_device_for_event 4922 src/pgtkterm.c 	    = pgtk_get_device_for_event (FRAME_DISPLAY_INFO (f), event);
pgtk_get_device_for_event 5265 src/pgtkterm.c 	    = pgtk_get_device_for_event (FRAME_DISPLAY_INFO (f), event);
pgtk_get_device_for_event 5279 src/pgtkterm.c 	    = pgtk_get_device_for_event (FRAME_DISPLAY_INFO (f), event);
pgtk_get_device_for_event 5294 src/pgtkterm.c 	    = pgtk_get_device_for_event (FRAME_DISPLAY_INFO (f), event);
pgtk_get_device_for_event 5376 src/pgtkterm.c 	    = pgtk_get_device_for_event (FRAME_DISPLAY_INFO (f), event);
pgtk_get_device_for_event 5384 src/pgtkterm.c 	  = pgtk_get_device_for_event (FRAME_DISPLAY_INFO (f), event);
pgtk_get_device_for_event 5821 src/pgtkterm.c 	= pgtk_get_device_for_event (FRAME_DISPLAY_INFO (frame),
pgtk_get_device_for_event 5840 src/pgtkterm.c 	= pgtk_get_device_for_event (FRAME_DISPLAY_INFO (frame),
pgtk_get_device_for_event 5977 src/pgtkterm.c   result->device = pgtk_get_device_for_event (FRAME_DISPLAY_INFO (f),
pgtk_get_device_for_event 6137 src/pgtkterm.c 	= pgtk_get_device_for_event (FRAME_DISPLAY_INFO (f), event);
pgtk_get_device_for_event 6233 src/pgtkterm.c 	= pgtk_get_device_for_event (FRAME_DISPLAY_INFO (f), event);