Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
repl: Restore CTRL-C behaviour #2767
FWIW for the editline upstream has been polishing things recently and in particular right now they're discussing behavior re:signals and API pros/cons-- if there's something that's problematic or could be better now's the time to join in! Or otherwise work with like-minded folks to make a solid experience for your users ^_^.
Linky: troglobit/editline#27 (comment) (and the threads linked from there...)