thestinger/termite — pull request #161 by holomorph (2014-03-04 19:48:02+00:00)
Title: produce escape sequences for extra Ctrl- modified keys

This is just for Ctrl- modified keys according to #157. Adding other Shift-/Meta- combinations in the same fashion would require separate tables, and then perhaps `modify_key_feed` would have to be told which table to use. Also `GDK_META_MASK` would be introduced somewhere.

Thanks to @vodik for help in implementing this.