Commit fd7de510 authored by Yosef Or Boczko's avatar Yosef Or Boczko Committed by Meg Ford

Set the title of the preferences to "Preferences"

https://bugzilla.gnome.org/show_bug.cgi?id=722876Signed-off-by: Meg Ford's avatarMeg Ford <meg387@gmail.com>
parent a03618e1
...@@ -37,7 +37,8 @@ const Preferences = new Lang.Class({ ...@@ -37,7 +37,8 @@ const Preferences = new Lang.Class({
Name: 'Preferences', Name: 'Preferences',
_init: function() { _init: function() {
this.widget = new Gtk.Dialog ({ resizable: false, this.widget = new Gtk.Dialog ({ title: _("Preferences"),
resizable: false,
modal: true, modal: true,
destroy_with_parent: true, destroy_with_parent: true,
width_request: 350, width_request: 350,
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment