From 3e902cbf37b352418cfc00838b10ff1de0a3d39d Mon Sep 17 00:00:00 2001
From: Simon Schneegans <code@simonschneegans.de>
Date: Mon, 7 Nov 2022 05:46:59 +0100
Subject: [PATCH] :wrench: Fix for GNOME Shell 42

---
 prefs.js | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/prefs.js b/prefs.js
index 0903c0b..b18f43d 100644
--- a/prefs.js
+++ b/prefs.js
@@ -129,8 +129,15 @@ var PreferencesDialog = class PreferencesDialog {
         const [minMajor, minMinor] = effect.getMinShellVersion();
         if (utils.shellVersionIsAtLeast(minMajor, minMinor)) {
           const row = effect.getPreferences(this);
-          row.set_title('<b>' + effect.getLabel() + '</b>');
-          row.set_use_markup(true);
+
+          // On older versions of Adw (e.g. on GNOME Shell <43), the set_use_markup() does
+          // not yet exist.
+          if (row.set_use_markup) {
+            row.set_title('<b>' + effect.getLabel() + '</b>');
+            row.set_use_markup(true);
+          } else {
+            row.set_title(effect.getLabel());
+          }
 
           // Un-expand any previously expanded effect row. This way we ensure that there
           // is only one expanded row at any time.