diff options
| author | Carlos Garnacho <carlosg@gnome.org> | 2020-06-24 17:19:57 +0200 |
|---|---|---|
| committer | Carlos Garnacho <carlosg@gnome.org> | 2020-06-24 20:35:23 +0200 |
| commit | ddb3a4be3e7b993208a08bd72080bda3c53ff172 (patch) | |
| tree | b8b2df81316a1e84bb8cfa533bb82a626a835949 /gtk/gtkwindowprivate.h | |
| parent | 994f32704bf9cd69d078e90e1d7db31ea5398537 (diff) | |
| download | gtk+-ddb3a4be3e7b993208a08bd72080bda3c53ff172.tar.gz | |
gtkmain: Make grab-notify notifications more targeted
We only want to send grab-notify to widgets that might have been
interacting with devices via events. Instead of going through all
widgets in all toplevels, we have the window/pointer focus information,
so we can just traverse the widget stacks for every involved foci.
Diffstat (limited to 'gtk/gtkwindowprivate.h')
| -rw-r--r-- | gtk/gtkwindowprivate.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gtk/gtkwindowprivate.h b/gtk/gtkwindowprivate.h index 14a3f8617c..4cb31c3eed 100644 --- a/gtk/gtkwindowprivate.h +++ b/gtk/gtkwindowprivate.h @@ -127,6 +127,10 @@ GtkWidget * gtk_window_pick_popover (GtkWindow *window, GdkDevice** gtk_window_get_foci_on_widget (GtkWindow *window, GtkWidget *widget, guint *n_devices); +void gtk_window_grab_notify (GtkWindow *window, + GtkWidget *old_grab_widget, + GtkWidget *new_grab_widget, + gboolean from_grab); G_END_DECLS |