Fix a problem with the numpad navigation on GTK
The problem is, according to wxWidgets documentation, that GTK doesn't give the correct key codes when Shift is held down. To account for this, on GTK, there is new logic which will map the key codes back to the correct ones.
Authored by: david_costanzo 2019-08-24
Parent: [r4997]
Child: [r4999]
