Comment 2 for bug 149931

Revision history for this message
Chris Jones (cmsj) wrote :

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!