diff options
| author | Timm Bäder <mail@baedert.org> | 2019-04-28 11:27:21 +0200 |
|---|---|---|
| committer | Timm Bäder <mail@baedert.org> | 2019-04-28 11:27:21 +0200 |
| commit | ed4c08d9b331c37df0ad296e3e694c15105c41b9 (patch) | |
| tree | a698fe43d3419a036bd6b8e3dc8c5d2c46c65513 | |
| parent | 929cdd925927fcabdb353a0322b8f17b9e6104a4 (diff) | |
| download | gtk+-ed4c08d9b331c37df0ad296e3e694c15105c41b9.tar.gz | |
window: Check whether the new focus widget is the old one
We generally do that for all properties.
| -rw-r--r-- | gtk/gtkwindow.c | 3 |
1 files changed, 3 insertions, 0 deletions
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); |