Searched refs:user_typed_text (Results 1 – 1 of 1) sorted by relevance
46 const wchar_t *user_typed_text; /* The actual text typed by the user on the terminal */ member532 input_len = wcslen(inputs[i].user_typed_text); in main()533 wmemcpy(buffer, inputs[i].user_typed_text, input_len); in main()547 inputs[i].user_typed_text, inputs[i].escaped_output, el->el_line.buffer); in main()