In all the shortcuts handling code, we treat KP_7 and 7 as two different keys, but display them the same in the shortcuts.

For example:
gtk_accelerator_name_with_keycode (NULL, GDK_KEY_KP_7, NULL, 0);
would return "7", which means that it's impossible to distinguish from the "7/&" key from outside the keypad.

Either they should be treated the same (ditto for Home/KP_Home, etc.), or displayed differently.