Hello
I was working with the Readline library on a linux basic shell and i found some unexpected behaviour with the unix_line_discard, kill_backward_line and kill_full_line functions. The program i am writing has a signal handler for ctrl+c and the purpose of it would be to "clear" the previous input considering that everything behind the ctrl+c is redundant. It all seems to work normally until i try to type the same letter as the one before the ctrl+c. For example, if i write x^C, the signal handler calls one of the functions (i tried with all of them) and then in the new line i can start typing anything but the letter x. It only allows writing the letter x after multiple keypresses. I am not 100% sure if this is a bug or a just a wrong way of using those functions but i am just making sure.