
Handle a "width" property to key structs in the JSON files, and use that (so far) to give the right width to space keys in layouts. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2278>
Handle a "width" property to key structs in the JSON files, and use that (so far) to give the right width to space keys in layouts. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2278>