keyboard: Use parent key's allocation for extended key size

An outdated allocation is likely still better in this case than the
preferred size, so use that instead of width/height which may fall
back.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1976
This commit is contained in:
Florian Müllner 2019-12-04 19:48:36 +01:00
parent 7fbdaadce2
commit 91bf7f1e44

View File

@ -459,8 +459,7 @@ var Key = GObject.registerClass({
key.extendedKey = extendedKey;
this._extendedKeyboard.add(key);
key.width = this.keyButton.width;
key.height = this.keyButton.height;
key.set_size(...this.keyButton.allocation.get_size());
}
this._boxPointer.bin.add_actor(this._extendedKeyboard);
}