diff options
author | Owen Taylor <otaylor@redhat.com> | 2002-12-12 23:07:45 +0000 |
---|---|---|
committer | Owen Taylor <otaylor@src.gnome.org> | 2002-12-12 23:07:45 +0000 |
commit | e4fc95abb141350e1283f620d5d5fc86ffdf627b (patch) | |
tree | 7f922dc3ab9af2ac1296da6f5a880e8a21ef795e /gtk/gtkmain.c | |
parent | 7264fdb06a9ff70937da9ae02d506d13d1e06e52 (diff) | |
download | gdk-pixbuf-e4fc95abb141350e1283f620d5d5fc86ffdf627b.tar.gz |
Intercept events of type GDK_SETTING before we check to see if there was
Thu Dec 12 18:02:34 2002 Owen Taylor <otaylor@redhat.com>
* gtk/gtkmain.c (gtk_main_do_event): Intercept events
of type GDK_SETTING before we check to see if there
was an event widget or not. (#97451, Simon Wong,
Bastien Nocera)
Diffstat (limited to 'gtk/gtkmain.c')
-rw-r--r-- | gtk/gtkmain.c | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/gtk/gtkmain.c b/gtk/gtkmain.c index 20e0e6e18..10b5f276c 100644 --- a/gtk/gtkmain.c +++ b/gtk/gtkmain.c @@ -1351,6 +1351,12 @@ gtk_main_do_event (GdkEvent *event) if (next_event) gdk_event_free (next_event); + if (event->type == GDK_SETTING) + { + _gtk_settings_handle_event (&event->setting); + return; + } + /* Find the widget which got the event. We store the widget * in the user_data field of GdkWindow's. * Ignore the event if we don't have a widget for it, except @@ -1370,8 +1376,6 @@ gtk_main_do_event (GdkEvent *event) if (event->type == GDK_PROPERTY_NOTIFY) _gtk_selection_incr_event (event->any.window, &event->property); - else if (event->type == GDK_SETTING) - _gtk_settings_handle_event (&event->setting); return; } |