gf_term_string_input 845 src/terminal/input_sensor.c void gf_term_string_input(GF_Terminal *term, u32 character) gf_term_string_input 986 src/terminal/input_sensor.c void gf_term_string_input(GF_Terminal *term, u32 character)