[gnome-sound-recorder] Set the title of the preferences to "Preferences"



commit fd7de510ebb97478790217b0fdd3647d92976959
Author: Yosef Or Boczko <yoseforb src gnome org>
Date:   Fri Jan 24 02:57:00 2014 +0200

    Set the title of the preferences to "Preferences"
    
    https://bugzilla.gnome.org/show_bug.cgi?id=722876
    
    Signed-off-by: Meg Ford <meg387 gmail com>

 src/preferences.js |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/src/preferences.js b/src/preferences.js
index 8447752..4c5769d 100644
--- a/src/preferences.js
+++ b/src/preferences.js
@@ -37,7 +37,8 @@ const Preferences = new Lang.Class({
     Name: 'Preferences',
     
      _init: function() {    
-        this.widget = new Gtk.Dialog ({ resizable: false,
+        this.widget = new Gtk.Dialog ({ title: _("Preferences"),
+                                        resizable: false,
                                         modal: true,
                                         destroy_with_parent: true,
                                         width_request: 350,


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]