pgtk_get_device_for_event 4919 src/pgtkterm.c 	    = pgtk_get_device_for_event (FRAME_DISPLAY_INFO (f), event);
pgtk_get_device_for_event 5262 src/pgtkterm.c 	    = pgtk_get_device_for_event (FRAME_DISPLAY_INFO (f), event);
pgtk_get_device_for_event 5276 src/pgtkterm.c 	    = pgtk_get_device_for_event (FRAME_DISPLAY_INFO (f), event);
pgtk_get_device_for_event 5291 src/pgtkterm.c 	    = pgtk_get_device_for_event (FRAME_DISPLAY_INFO (f), event);
pgtk_get_device_for_event 5373 src/pgtkterm.c 	    = pgtk_get_device_for_event (FRAME_DISPLAY_INFO (f), event);
pgtk_get_device_for_event 5381 src/pgtkterm.c 	  = pgtk_get_device_for_event (FRAME_DISPLAY_INFO (f), event);
pgtk_get_device_for_event 5818 src/pgtkterm.c 	= pgtk_get_device_for_event (FRAME_DISPLAY_INFO (frame),
pgtk_get_device_for_event 5837 src/pgtkterm.c 	= pgtk_get_device_for_event (FRAME_DISPLAY_INFO (frame),
pgtk_get_device_for_event 5974 src/pgtkterm.c   result->device = pgtk_get_device_for_event (FRAME_DISPLAY_INFO (f),
pgtk_get_device_for_event 6134 src/pgtkterm.c 	= pgtk_get_device_for_event (FRAME_DISPLAY_INFO (f), event);
pgtk_get_device_for_event 6230 src/pgtkterm.c 	= pgtk_get_device_for_event (FRAME_DISPLAY_INFO (f), event);