Florian Müllner 021f3e49b5 keyboard: Update extended key size on parent size changes
Extended keys should have the same size as their parent key, so
make sure to update them when the parent size changes.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1976
2019-12-04 20:48:37 +01:00
..
2019-11-21 22:04:39 +01:00
2019-11-11 19:25:14 +00:00
2019-11-11 19:25:14 +00:00
2019-11-11 19:25:14 +00:00
2019-11-19 20:56:16 +02:00
2019-11-11 19:25:14 +00:00