[gnome-shell] extensionPrefs: Request correct GDK/GTK versions

[Georges Basile Stavracas Neto <gbsneto src gnome org>]

commit 5bd295842b3273aa8928315145d35737e6eed181
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Aug 21 19:36:42 2019 +0200

    extensionPrefs: Request correct GDK/GTK versions
    
    gjs no longer has an implicit dependency on GTK 3.0, so without
    requesting an explicit version, we will get the highest available.
    
    Our code isn't GTK-4 ready, so request 3.0 explicitly.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/686

 js/extensionPrefs/main.js | 3 +++
 1 file changed, 3 insertions(+)
---
diff --git a/js/extensionPrefs/main.js b/js/extensionPrefs/main.js
index d8c51bfa58..4125605b96 100644
--- a/js/extensionPrefs/main.js
+++ b/js/extensionPrefs/main.js
@@ -1,4 +1,7 @@
 /* exported main */
+imports.gi.versions.Gdk = '3.0';
+imports.gi.versions.Gtk = '3.0';
+
 const Gettext = imports.gettext;
 const { Gdk, GLib, Gio, GObject, Gtk, Pango } = imports.gi;
 const Format = imports.format;