From 34411e07d87d5ff58dc3e3d949dfac6b786a3094 Mon Sep 17 00:00:00 2001
From: Florian Müllner <fmuellner@gnome.org>
Date: Feb 12 2022 15:06:42 +0000
Subject: prefs: Request correct GnomeDesktop version


There is now a GTK4-based gnome-desktop version, so request that.

---

diff --git a/prefs.js b/prefs.js
index 39e1f96..c40338f 100644
--- a/prefs.js
+++ b/prefs.js
@@ -2,6 +2,8 @@
 const { Adw, Gdk, GdkPixbuf, Gio, GLib, GObject, Gtk } = imports.gi;
 const ByteArray = imports.byteArray;
 
+imports.gi.versions.GnomeDesktop = '4.0';
+
 let GnomeDesktop = null;
 try {
     GnomeDesktop = imports.gi.GnomeDesktop;