GF_KEY_F13        318 modules/dx_hw/dx_window.c 		evt->key_code = GF_KEY_F13;
GF_KEY_F13        301 modules/gapi/gapi.cpp 		evt->key_code = GF_KEY_F13;
GF_KEY_F13        450 modules/sdl_out/video.c 		evt->key_code = GF_KEY_F13;
GF_KEY_F13        447 modules/x11_out/x11_out.c 		evt->key_code = GF_KEY_F13;
GF_KEY_F13        299 src/scenegraph/svg_attributes.c 	{ GF_KEY_F13, "F13" },