32ada34e1d
Drop some code, in favor of a numeric keypad that is driven through the same JSON-based maps. This is also a first use of the "height" key property in the JSON files, for the Enter key. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3162>