GF_KEY_F12        916 modules/directfb_out/directfb_wrapper.c 		*key_code = GF_KEY_F12;
GF_KEY_F12        315 modules/dx_hw/dx_window.c 		evt->key_code = GF_KEY_F12;
GF_KEY_F12        298 modules/gapi/gapi.cpp 		evt->key_code = GF_KEY_F12;
GF_KEY_F12        447 modules/sdl_out/video.c 		evt->key_code = GF_KEY_F12;
GF_KEY_F12        444 modules/x11_out/x11_out.c 		evt->key_code = GF_KEY_F12;
GF_KEY_F12        598 src/scene_manager/loader_bt.c 	else if (!strcmp(sep, "F12")) res = GF_KEY_F12;
GF_KEY_F12        298 src/scenegraph/svg_attributes.c 	{ GF_KEY_F12, "F12" },
GF_KEY_F12        685 src/terminal/input_sensor.c 	case GF_KEY_F12: