[gnome-shell] keyboard: Update extended key size on parent size changes

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

commit 021f3e49b5e9d5470a4e4dd0c5a1ab65930fa12e
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Dec 4 19:49:17 2019 +0100

    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

 js/ui/keyboard.js | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/js/ui/keyboard.js b/js/ui/keyboard.js
index 95d971211f..4590d49612 100644
--- a/js/ui/keyboard.js
+++ b/js/ui/keyboard.js
@@ -460,6 +460,8 @@ var Key = GObject.registerClass({
             this._extendedKeyboard.add(key);
 
             key.set_size(...this.keyButton.allocation.get_size());
+            this.keyButton.connect('notify::allocation',
+                () => key.set_size(...this.keyButton.allocation.get_size()));
         }
         this._boxPointer.bin.add_actor(this._extendedKeyboard);
     }