GNOME Bugzilla – Bug 664219
Differentiate 7 and KP_7
Last modified: 2017-09-18 17:52:13 UTC
In all the shortcuts handling code, we treat KP_7 and 7 as two different keys, but display them the same in the shortcuts.
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.
Don't treat them the same please. Keypad numbers are useful for 'org.gnome.desktop.wm.keybindings move-to-x-x'
*** This bug has been marked as a duplicate of bug 113458 ***