[gnome-shell] keyboard: Use parent key's allocation for extended key size

[Florian Müllner <fmuellner src gnome org>]

commit 91bf7f1e449386ee5b36c53910fdeb332ce052fb
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Dec 4 19:48:36 2019 +0100

    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

 js/ui/keyboard.js | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)
---
diff --git a/js/ui/keyboard.js b/js/ui/keyboard.js
index d5591c317d..95d971211f 100644
--- a/js/ui/keyboard.js
+++ b/js/ui/keyboard.js
@@ -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);
     }