diff options
author | Emmanuele Bassi <ebassi@gnome.org> | 2019-02-05 11:26:20 +0100 |
---|---|---|
committer | Emmanuele Bassi <ebassi@gnome.org> | 2019-02-05 11:26:20 +0100 |
commit | 25fd230327c4349e0a970ebbac70684e4f9e222c (patch) | |
tree | 0e3ac9ed4b07c0b5f33f0c9e1a7d764e47d3716e /gtk/gtkrecentmanager.c | |
parent | 866d0c4fb9a0497aa3da310e4ce891d19f0368d8 (diff) | |
download | gtk+-25fd230327c4349e0a970ebbac70684e4f9e222c.tar.gz |
gtk: Drop the "plus"
Source names should use "[gtk]" without the plus.
Diffstat (limited to 'gtk/gtkrecentmanager.c')
-rw-r--r-- | gtk/gtkrecentmanager.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gtk/gtkrecentmanager.c b/gtk/gtkrecentmanager.c index 7d09ce7934..1e098f423e 100644 --- a/gtk/gtkrecentmanager.c +++ b/gtk/gtkrecentmanager.c @@ -1389,7 +1389,7 @@ gtk_recent_manager_changed (GtkRecentManager *manager) if (manager->priv->changed_timeout == 0) { manager->priv->changed_timeout = g_timeout_add (250, emit_manager_changed, manager); - g_source_set_name_by_id (manager->priv->changed_timeout, "[gtk+] emit_manager_changed"); + g_source_set_name_by_id (manager->priv->changed_timeout, "[gtk] emit_manager_changed"); } else { |