diff options
author | Matthias Clasen <mclasen@redhat.com> | 2015-03-10 14:07:27 -0400 |
---|---|---|
committer | Matthias Clasen <mclasen@redhat.com> | 2015-03-10 14:07:27 -0400 |
commit | 073a9c9cd543f5739d72beb4bc9eb4c79c175a99 (patch) | |
tree | b3c4dbcdc907be3f8cfc1a34b89705b7bda96bca | |
parent | 622a930c5a55aa64489a8031cd507f45e7fa2545 (diff) | |
download | gtk+-073a9c9cd543f5739d72beb4bc9eb4c79c175a99.tar.gz |
inspector: Add some margin to css editor
Requested in
https://bugzilla.gnome.org/show_bug.cgi?id=745918
-rw-r--r-- | 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 cd77f1a1d1..96fbc847a9 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> |