glade: switch to webkitgtk_4_1

To reduce the number of WebKits in closure.

webkitgtk_4_1 should be the most common one in GNOME now.

pkgs/development/tools/glade/default.nix

@@ -9,7 +9,7 @@
 , gtk3
 , glib
 , gjs
-, webkitgtk
+, webkitgtk_4_1
 , gobject-introspection
 , wrapGAppsHook
 , itstool
@@ -49,7 +49,7 @@ stdenv.mkDerivation rec {
     gtk3
     glib
     gjs
-    webkitgtk
+    webkitgtk_4_1
     libxml2
     python3
     python3.pkgs.pygobject3
@@ -58,6 +58,11 @@ stdenv.mkDerivation rec {
     gnome.adwaita-icon-theme
   ];
 
+  postPatch = ''
+    substituteInPlace meson.build \
+      --replace 'webkit2gtk-4.0' 'webkit2gtk-4.1'
+  '';
+
   passthru = {
     updateScript = gnome.updateScript {
       packageName = pname;