[gnome-sound-recorder] Set the title of the preferences to "Preferences"
- From: Meg Ford (Margaret) <megford src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-sound-recorder] Set the title of the preferences to "Preferences"
- Date: Fri, 24 Jan 2014 03:02:43 +0000 (UTC)
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]