[jhbuild: 49/60] [gui] give a title to the Preferences window

[Frederic Peters <fpeters src gnome org>]

commit 68e574e0f6cd53c55997dfd32404ae2cffbe139a
Author: Frédéric Péters <fpeters 0d be>
Date:   Sun May 24 19:24:03 2009 +0200

    [gui] give a title to the Preferences window
---
 jhbuild/frontends/gtkui.py |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/jhbuild/frontends/gtkui.py b/jhbuild/frontends/gtkui.py
index 17b09f1..6dc152e 100644
--- a/jhbuild/frontends/gtkui.py
+++ b/jhbuild/frontends/gtkui.py
@@ -623,7 +623,7 @@ class SelectModulesDialog(gtk.Dialog):
 
 class PreferencesDialog(gtk.Dialog):
     def __init__(self, parent, default_module=None):
-        gtk.Dialog.__init__(self, '', parent)
+        gtk.Dialog.__init__(self, _('Preferences'), parent)
         self.app = parent
         self.create_ui()
         self.connect('response', self.on_response_cb)