[gtk+] inspector: Add some margin to css editor
- From: Matthias Clasen <matthiasc src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gtk+] inspector: Add some margin to css editor
- Date: Tue, 10 Mar 2015 18:08:23 +0000 (UTC)
commit 073a9c9cd543f5739d72beb4bc9eb4c79c175a99
Author: Matthias Clasen <mclasen redhat com>
Date: Tue Mar 10 14:07:27 2015 -0400
inspector: Add some margin to css editor
Requested in
https://bugzilla.gnome.org/show_bug.cgi?id=745918
gtk/inspector/css-editor.ui | 2 ++
1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/gtk/inspector/css-editor.ui b/gtk/inspector/css-editor.ui
index cd77f1a..96fbc84 100644
--- a/gtk/inspector/css-editor.ui
+++ b/gtk/inspector/css-editor.ui
@@ -86,6 +86,8 @@
<property name="wrap-mode">word</property>
<property name="monospace">True</property>
<property name="has-focus">True</property>
+ <property name="left-margin">6</property>
+ <property name="right-margin">6</property>
</object>
</child>
</object>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]