[totem] data: Update width_request and margin_bottom values to decent defaults
- From: Philip Withnall <pwithnall src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [totem] data: Update width_request and margin_bottom values to decent defaults
- Date: Tue, 27 Dec 2016 18:24:17 +0000 (UTC)
commit 6631b0d04cd7d8bd2296e9d73cd6fb8a9235da6c
Author: vrishab <gnome vrb gmail com>
Date: Tue Dec 6 20:12:42 2016 +0530
data: Update width_request and margin_bottom values to decent defaults
https://bugzilla.gnome.org/show_bug.cgi?id=771653
data/properties.ui | 2 ++
1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/data/properties.ui b/data/properties.ui
index eb106bb..eed91f9 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>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]