jackpal/Android-Terminal-Emulator — pull request #185 by monaka (2012-12-25 03:10:06+00:00)
Title: Hook ctrl keys on hardware keyboards.

Some IMEs (for example Google Japanese Input) consume key events around Ctrl-keys.
So we should hook key events before they are got by IME.

This patch is harmless also in case without IME.