[gedit] snippets: set Snippets title in the manager

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 6bdcfdb9f7fe146093e5ed9ac0f6575634d4d464
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Mon Jun 20 13:49:18 2011 +0200

    snippets: set Snippets title in the manager

 plugins/snippets/snippets/snippets.ui |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/plugins/snippets/snippets/snippets.ui b/plugins/snippets/snippets/snippets.ui
index 9d22ebf..d58f8be 100644
--- a/plugins/snippets/snippets/snippets.ui
+++ b/plugins/snippets/snippets/snippets.ui
@@ -52,6 +52,7 @@
     <property name="focus_on_map">True</property>
     <property name="urgency_hint">False</property>
     <property name="border_width">5</property>
+    <property name="title" translatable="yes">Snippets</property>
     <child internal-child="vbox">
       <object class="GtkBox" id="dialog-vbox1">
         <property name="visible">True</property>