From ed4c08d9b331c37df0ad296e3e694c15105c41b9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Timm=20B=C3=A4der?= <mail@baedert.org>
Date: Sun, 28 Apr 2019 11:27:21 +0200
Subject: [PATCH] window: Check whether the new focus widget is the old one

We generally do that for all properties.
---
 gtk/gtkwindow.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/gtk/gtkwindow.c b/gtk/gtkwindow.c
index b3cb887443..fd12df3266 100644
--- a/gtk/gtkwindow.c
+++ b/gtk/gtkwindow.c
@@ -6524,6 +6524,9 @@ gtk_window_set_focus (GtkWindow *window,
   if (focus && !gtk_widget_is_sensitive (focus))
     return;
 
+  if (focus == priv->focus_widget)
+    return;
+
   if (priv->focus_widget)
     old_focus = g_object_ref (priv->focus_widget);
   g_set_object (&priv->focus_widget, NULL);