diff options
author | Baptiste Mille-Mathias <baptiste.millemathias@gmail.com> | 2014-02-08 16:26:15 +0100 |
---|---|---|
committer | Baptiste Mille-Mathias <baptiste.millemathias@gmail.com> | 2014-02-08 18:44:02 +0100 |
commit | 90f9def0b1848772766ca63cfab1ce562c4023e3 (patch) | |
tree | a14448bccf04151eea23215771cbba22b5397882 /data | |
parent | a1bc961cbfd941c17558d7f8d4182607ad245ca1 (diff) | |
download | totem-90f9def0b1848772766ca63cfab1ce562c4023e3.tar.gz |
Correct spacing and title of preference window
https://bugzilla.gnome.org/show_bug.cgi?id=723828
Diffstat (limited to 'data')
-rw-r--r-- | data/preferences.ui | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/data/preferences.ui b/data/preferences.ui index a3610d551..f520fc96b 100644 --- a/data/preferences.ui +++ b/data/preferences.ui @@ -102,7 +102,7 @@ </object> <object class="GtkDialog" id="totem_preferences_window"> - <property name="title" translatable="yes">Totem Preferences</property> + <property name="title" translatable="yes">Preferences</property> <property name="type">GTK_WINDOW_TOPLEVEL</property> <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property> <property name="modal">False</property> @@ -116,6 +116,7 @@ <property name="focus_on_map">True</property> <property name="urgency_hint">False</property> <property name="use-header-bar">1</property> + <property name="border_width">12</property> <child internal-child="vbox"> <object class="GtkVBox" id="tpw_dialog_vbox"> |