New issue 94 by sfiera: Stop using ADB key codes
http://code.google.com/p/antares/issues/detail?id=94
We still use ADB key codes in a lot of places. In particular, they are how
we save preferences. We should pick some more modern way of listing keys.