[gnome-todo/wip/lists] edit-pane: add some margin to the notes' text
- From: Georges Basile Stavracas Neto <gbsneto src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-todo/wip/lists] edit-pane: add some margin to the notes' text
- Date: Mon, 15 Jun 2015 14:14:29 +0000 (UTC)
commit 0d1e7dc627678d0117a3f6bfd16ce2b746cb4151
Author: Georges Basile Stavracas Neto <georges stavracas gmail com>
Date: Mon Jun 15 10:53:30 2015 -0300
edit-pane: add some margin to the notes' text
data/ui/edit-pane.ui | 4 ++++
1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/data/ui/edit-pane.ui b/data/ui/edit-pane.ui
index 8d43ab1..6c63553 100644
--- a/data/ui/edit-pane.ui
+++ b/data/ui/edit-pane.ui
@@ -120,6 +120,10 @@
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="accepts_tab">False</property>
+ <property name="left-margin">6</property>
+ <property name="right-margin">6</property>
+ <property name="pixels-above-lines">6</property>
+ <property name="pixels-below-lines">6</property>
</object>
</child>
</object>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]