diff options
author | Carlos Garnacho <carlosg@gnome.org> | 2011-01-10 22:57:31 +0100 |
---|---|---|
committer | Carlos Garnacho <carlosg@gnome.org> | 2011-01-10 23:01:02 +0100 |
commit | fa2bfd93f8d44fd079ad91909dd376e9910cd96e (patch) | |
tree | d3fdff57a3f52779577c6ea54f8d2f2d3360e190 /gtk/gtk.symbols | |
parent | c94912afd5bcdf70bb94d36fa74db996292f0959 (diff) | |
download | gtk+-fa2bfd93f8d44fd079ad91909dd376e9910cd96e.tar.gz |
Add gtk_widget_set_device_enabled()
This function is a more convenient variant than
gtk_widget_set_device_events(), as it will
1) perform changes down a widget hierarchy, to
all windows.
1) use the same event mask than gdk_window_get_events()
Diffstat (limited to 'gtk/gtk.symbols')
-rw-r--r-- | gtk/gtk.symbols | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gtk/gtk.symbols b/gtk/gtk.symbols index b625747f2c..c13442210d 100644 --- a/gtk/gtk.symbols +++ b/gtk/gtk.symbols @@ -3469,6 +3469,7 @@ gtk_widget_get_clipboard gtk_widget_get_composite_name gtk_widget_get_default_direction gtk_widget_get_default_style +gtk_widget_get_device_enabled gtk_widget_get_device_events gtk_widget_get_direction gtk_widget_get_display @@ -3615,6 +3616,7 @@ gtk_widget_set_can_focus gtk_widget_set_child_visible gtk_widget_set_composite_name gtk_widget_set_default_direction +gtk_widget_set_device_enabled gtk_widget_set_device_events gtk_widget_set_direction gtk_widget_set_double_buffered |