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.