From 021f3e49b5e9d5470a4e4dd0c5a1ab65930fa12e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 4 Dec 2019 19:49:17 +0100
Subject: [PATCH] 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 95d971211..4590d4961 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);
     }