I like this very much. The only thing I am wondering about is the use of Ctrl. Bash already has quite a few Ctrl shortcuts, so I am wondering if we should use Ctrl+Shift like gnome-terminal does.
Once we sort that out, this patch will definitely be acceptable. Thanks very much!
I like this very much. The only thing I am wondering about is the use of Ctrl. Bash already has quite a few Ctrl shortcuts, so I am wondering if we should use Ctrl+Shift like gnome-terminal does.
Once we sort that out, this patch will definitely be acceptable. Thanks very much!