summaryrefslogtreecommitdiff
path: root/gtk/gtkstatusbar.ui
diff options
context:
space:
mode:
authorYosef Or Boczko <yoseforb@gmail.com>2013-11-15 00:31:17 +0200
committerBenjamin Otte <otte@redhat.com>2013-11-15 02:54:35 +0100
commit719dd636a9da679ea08a9644a8cccfe7d6f145d7 (patch)
treec2f286045adef34ab40824375a70b44e33e8dcba /gtk/gtkstatusbar.ui
parent9921bec63a3e67e2c2e38ca734590909a9f734b5 (diff)
downloadgtk+-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.ui4
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>