[BUG] Readline history + `Ctrl+C` behaves differently than bash

[itislu]

If you go back more than one input line in the readline history and then hit Ctrl+C, the initial behavior is correct. However, if you then press the DOWN arrow key, the input line that appears is the one below where you hit Ctrl+C.

It means you are still in the same position in the readline history, even after pressing Ctrl+C.

Maybe this can be fixed with one of the terminal manipulation functions. It might be interesting to learn more about them in the process.