diff options
author | Matthias Clasen <mclasen@redhat.com> | 2020-02-25 20:57:20 -0500 |
---|---|---|
committer | Matthias Clasen <mclasen@redhat.com> | 2020-02-25 20:59:04 -0500 |
commit | b5bacb3be640a25eb7573090df6d1af6a9adcc7e (patch) | |
tree | 4bb50d67d3952387b5a9f99f63db68f5e95f58ba /demos/gtk-demo/theming.ui | |
parent | a9c05193a7b7366989b75471150b1f6d644e2285 (diff) | |
download | gtk+-b5bacb3be640a25eb7573090df6d1af6a9adcc7e.tar.gz |
Drop the margin property
Replace it with margin-start, -end, -top, -bottom throughout.
Diffstat (limited to 'demos/gtk-demo/theming.ui')
-rw-r--r-- | demos/gtk-demo/theming.ui | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/demos/gtk-demo/theming.ui b/demos/gtk-demo/theming.ui index 431dd2e3cd..c790275795 100644 --- a/demos/gtk-demo/theming.ui +++ b/demos/gtk-demo/theming.ui @@ -2,7 +2,10 @@ <interface> <object class="GtkGrid" id="grid"> <property name="row-spacing">10</property> - <property name="margin">10</property> + <property name="margin-start">10</property> + <property name="margin-end">10</property> + <property name="margin-top">10</property> + <property name="margin-bottom">10</property> <property name="orientation">vertical</property> <child> <object class="GtkBox"> |