Skip to content

make ctrl-c to erase current line (if not in execution)

Cyril Guilloud requested to merge shell_ctrl-c into master

make ctrl-c to erase current line (even if not in execution)

fixes #729 (closed)

Edited by Cyril Guilloud

Merge request reports