diff options
author | Bastien Nocera <hadess@hadess.net> | 2013-10-22 15:43:43 +0200 |
---|---|---|
committer | Bastien Nocera <hadess@hadess.net> | 2013-10-23 13:31:18 +0200 |
commit | 438cd857c49242244dda2923ac447f36464b9e72 (patch) | |
tree | 9b583fc07a430a739e80d62c73edede9ad019602 /gtk/gtkmenuitem.c | |
parent | dcc0fd222e78372ce49a8722420ccc7e9e022cdd (diff) | |
download | gtk+-438cd857c49242244dda2923ac447f36464b9e72.tar.gz |
all: Add names to timeouts
Add names to every timeout we setup, so it's easier to track their
usage, and debug possible misbehaviour.
https://bugzilla.gnome.org/show_bug.cgi?id=710651
Diffstat (limited to 'gtk/gtkmenuitem.c')
-rw-r--r-- | gtk/gtkmenuitem.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gtk/gtkmenuitem.c b/gtk/gtkmenuitem.c index ec2d2bd4a7..e6430db1e5 100644 --- a/gtk/gtkmenuitem.c +++ b/gtk/gtkmenuitem.c @@ -2009,6 +2009,7 @@ _gtk_menu_item_popup_submenu (GtkWidget *widget, priv->timer = gdk_threads_add_timeout (popup_delay, gtk_menu_item_popup_timeout, menu_item); + g_source_set_name_by_id (priv->timer, "[gtk+] gtk_menu_item_popup_timeout"); if (event && event->type != GDK_BUTTON_PRESS && |