diff options
author | Carlos Garnacho <carlosg@gnome.org> | 2020-06-24 17:25:34 +0200 |
---|---|---|
committer | Carlos Garnacho <carlosg@gnome.org> | 2020-06-24 20:35:23 +0200 |
commit | f046e27bb4c04b60d2275d5fc56ef2a816f4dbec (patch) | |
tree | 35173eb7e35fb9ce40f2b50f4d3e2dc6b992ef40 /gtk/gtkwidget.h | |
parent | 1c5cf17f1cb90c1a9b0e032df4a16e93c518acc8 (diff) | |
download | gtk+-f046e27bb4c04b60d2275d5fc56ef2a816f4dbec.tar.gz |
gtkwidget: Drop gtk_widget_device_is_shadowed()
A widget no longer needs updating on GTK grabs on itself, drop
this miscellaneous and no longer used API.
Diffstat (limited to 'gtk/gtkwidget.h')
-rw-r--r-- | gtk/gtkwidget.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/gtk/gtkwidget.h b/gtk/gtkwidget.h index 5a5b92b501..cf812b9b26 100644 --- a/gtk/gtkwidget.h +++ b/gtk/gtkwidget.h @@ -427,10 +427,6 @@ void gtk_widget_set_receives_default (GtkWidget *widget, GDK_AVAILABLE_IN_ALL gboolean gtk_widget_get_receives_default (GtkWidget *widget); -GDK_AVAILABLE_IN_ALL -gboolean gtk_widget_device_is_shadowed (GtkWidget *widget, - GdkDevice *device); - GDK_AVAILABLE_IN_ALL void gtk_widget_set_name (GtkWidget *widget, |