diff options
author | Yosef Or Boczko <yoseforb@gmail.com> | 2013-11-15 00:31:17 +0200 |
---|---|---|
committer | Benjamin Otte <otte@redhat.com> | 2013-11-15 02:54:35 +0100 |
commit | 719dd636a9da679ea08a9644a8cccfe7d6f145d7 (patch) | |
tree | c2f286045adef34ab40824375a70b44e33e8dcba /gtk/gtkstatusbar.ui | |
parent | 9921bec63a3e67e2c2e38ca734590909a9f734b5 (diff) | |
download | gtk+-719dd636a9da679ea08a9644a8cccfe7d6f145d7.tar.gz |
Replace all margin-left and margin-right with margin-start and margin-end
https://bugzilla.gnome.org/show_bug.cgi?id=710238
Diffstat (limited to 'gtk/gtkstatusbar.ui')
-rw-r--r-- | gtk/gtkstatusbar.ui | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gtk/gtkstatusbar.ui b/gtk/gtkstatusbar.ui index 94c7f67fd9..c506b9b1ce 100644 --- a/gtk/gtkstatusbar.ui +++ b/gtk/gtkstatusbar.ui @@ -5,8 +5,8 @@ <property name="can_focus">False</property> <property name="vexpand">False</property> <property name="spacing">2</property> - <property name="margin_left">10</property> - <property name="margin_right">10</property> + <property name="margin_start">10</property> + <property name="margin_end">10</property> <property name="margin_top">6</property> <property name="margin_bottom">6</property> <child> |