diff options
author | Maximiliano Sandoval R <msandova@gnome.org> | 2021-10-11 10:31:24 +0200 |
---|---|---|
committer | David King <amigadave@amigadave.com> | 2022-03-28 17:11:49 +0100 |
commit | 16f5b6274a761bea6ddbbcebfa141f67b337a05d (patch) | |
tree | 24471acd08217270e77291b156edf341b6e45c43 | |
parent | c90e813ccb4cf38a6649330ee4d587f06a986e83 (diff) | |
download | gnome-logs-16f5b6274a761bea6ddbbcebfa141f67b337a05d.tar.gz |
Port margin property
-rw-r--r-- | data/gl-eventviewdetail.ui | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/data/gl-eventviewdetail.ui b/data/gl-eventviewdetail.ui index b0aee1b..e9e703f 100644 --- a/data/gl-eventviewdetail.ui +++ b/data/gl-eventviewdetail.ui @@ -18,7 +18,10 @@ <property name="visible">True</property> <property name="can_focus">False</property> <property name="column-spacing">12</property> - <property name="margin">12</property> + <property name="margin-top">12</property> + <property name="margin-bottom">12</property> + <property name="margin-start">12</property> + <property name="margin-end">12</property> <child> <object class="GtkLabel" id="comm_field_label"> <property name="visible">False</property> |