Ctrl-/ should be mapped to "undo"
Submitted by Christian Marillat
Link to original bug (#108299)
Description
Hi,
Undo what exactly ?
The last changes to the command-line. Now that I think again about this I realize this feature is actually provided by bash/readline; but it happens that for some reason, gnome-terminal is passing only "/" instead of Ctrl-/ to the shell. If you use bash you can try writting some gibberish and then pressing Ctrl-_. Ctrl-/ is just another hot-key for the same functionality under normal circumstances.
Version: 0.10.x
Resolution: RESOLVED FIXED