Fabian Boehm 806734cc56 Make new ctrl-c behavior "clear-commandline" ...

And leave the old behavior under the name "cancel-commandline".

This renames "cancel-commandline-traditional" back to
"cancel-commandline", so the old name triggers the old behavior.

Fixes #10935

2025-01-14 20:00:31 +01:00

17 KiB

Raw Blame History

View Raw