Bug#800681: getting the keycodes for Ctrl+Left and Ctrl+Right

[Arturo Borrero Gonzalez]

On 17 November 2015 at 14:57, Benno Schulenberg <bensb...@justemail.net> wrote:
>
> Please try the attached patch.  (You have to undo the previous patch.)
> It works here on a Pantheon terminal.

It works, thanks.


-- 
Arturo Borrero González