diff options
author | vrishab <gnome.vrb@gmail.com> | 2016-12-06 20:12:42 +0530 |
---|---|---|
committer | Philip Withnall <philip@tecnocode.co.uk> | 2016-12-27 18:23:15 +0000 |
commit | 6631b0d04cd7d8bd2296e9d73cd6fb8a9235da6c (patch) | |
tree | 812c4b40694de87e3825e38850677d2144287e55 | |
parent | ddbad12d9c36c15c7d79a6d8ffc7cac481552b3c (diff) | |
download | totem-6631b0d04cd7d8bd2296e9d73cd6fb8a9235da6c.tar.gz |
data: Update width_request and margin_bottom values to decent defaults
https://bugzilla.gnome.org/show_bug.cgi?id=771653
-rw-r--r-- | data/properties.ui | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/data/properties.ui b/data/properties.ui index eb106bbcb..eed91f9f8 100644 --- a/data/properties.ui +++ b/data/properties.ui @@ -3,8 +3,10 @@ <interface> <requires lib="gtk+" version="3.11"/> <object class="GtkBox" id="vbox1"> + <property name="width_request">375</property> <property name="visible">True</property> <property name="can_focus">False</property> + <property name="margin_bottom">12</property> <property name="border_width">6</property> <property name="orientation">vertical</property> <property name="spacing">18</property> |