Resolves: #2318389 (WebKitGTK 2.46.1: Middle mouse button inserts primary clipboard twice)

With the F39 Flatpak, the EDS D-Bus service name prefix is set at container
creation time, instead of at build time, so instead of looking for
service file that exactly matches the service name we got from
pkg-config, look for one that includes that service name as a substring.

sources

@@ -1 +1 @@
-SHA512 (evolution-3.59.1.tar.xz) = 26d6d4dfcdbc3d89f88d9e24096c7ff910d221119def75d7f80a397f682be96860726832c7c62b46769ce9cfcc15e5844cbcc016facc9b21b4eb9bbb2c17360d
+SHA512 (evolution-3.50.4.tar.xz) = 857e219df65dab3182b26f5751bfec68d532af11c3e3565bf288d63e5298c9bb9aec4e293769da46083213da79c41790ca624e843e0f2779a75f581d607d2109

webkitgtk-2.46.1.patch

@@ -0,0 +1,37 @@
+diff --git a/src/modules/webkit-editor/e-webkit-editor.c b/src/modules/webkit-editor/e-webkit-editor.c
+index bc423841a8..d3217cd48b 100644
+--- a/src/modules/webkit-editor/e-webkit-editor.c
++++ b/src/modules/webkit-editor/e-webkit-editor.c
+@@ -5724,6 +5724,24 @@ webkit_editor_button_press_event (GtkWidget *widget,
+ 	       GTK_WIDGET_CLASS (e_webkit_editor_parent_class)->button_press_event (widget, event);
+ }
+ 
++static gboolean
++webkit_editor_button_release_event (GtkWidget *widget,
++				    GdkEventButton *event)
++{
++	if (event->button == 2) {
++		/* WebKitGTK 2.46.1 changed the middle-click paste behavior and moved
++		   the paste handler from the button-press event into the button-release
++		   event, which causes double paste of the clipboard content. As the paste
++		   is handled in the webkit_editor_button_press_event() above, make sure
++		   the release handler is not called here regardless whether the user
++		   uses the changed WebkitGTK or not. */
++		return TRUE;
++	}
++
++	/* Chain up to parent's method. */
++	return GTK_WIDGET_CLASS (e_webkit_editor_parent_class)->button_release_event (widget, event);
++}
++
+ static gboolean
+ webkit_editor_key_press_event (GtkWidget *widget,
+                                GdkEventKey *event)
+@@ -5814,6 +5832,7 @@ e_webkit_editor_class_init (EWebKitEditorClass *class)
+ 
+ 	widget_class = GTK_WIDGET_CLASS (class);
+ 	widget_class->button_press_event = webkit_editor_button_press_event;
++	widget_class->button_release_event = webkit_editor_button_release_event;
+ 	widget_class->key_press_event = webkit_editor_key_press_event;
+ 
+ 	g_object_class_override_property (