[gnome-shell/wip/carlosg/osk-updates: 3/33] keyboard: Update OSK key model from JSON to new format

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

commit 76933445c64482a001b1c752b30e4ed43a70b639
Author: Carlos Garnacho <carlosg gnome org>
Date:   Wed Apr 13 16:54:59 2022 +0200

    keyboard: Update OSK key model from JSON to new format
    
    Every key is now a map able to handle more properties, so its behavior
    can be extended. For now, minimally adapt to the new format so the OSK
    does not break along the update.
    
    Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2278>

 js/ui/keyboard.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
---
diff --git a/js/ui/keyboard.js b/js/ui/keyboard.js
index 77a6f7d5cc..fc4c0c59ef 100644
--- a/js/ui/keyboard.js
+++ b/js/ui/keyboard.js
@@ -1511,7 +1511,8 @@ var Keyboard = GObject.registerClass({
     _addRowKeys(keys, layout) {
         for (let i = 0; i < keys.length; ++i) {
             let key = keys[i];
-            let button = new Key(key.shift(), key);
+            const {strings} = key;
+            let button = new Key(strings.shift(), strings);
 
             /* Space key gets special width, dependent on the number of surrounding keys */
             if (button.key == ' ')