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/gtkoverlay.c | |
| 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/gtkoverlay.c')
| -rw-r--r-- | gtk/gtkoverlay.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gtk/gtkoverlay.c b/gtk/gtkoverlay.c index 59a8fa73b8..3fae8a187d 100644 --- a/gtk/gtkoverlay.c +++ b/gtk/gtkoverlay.c @@ -104,8 +104,8 @@ gtk_overlay_compute_child_allocation (GtkOverlay *overlay, /* put the margins outside the window; also arrange things * so that the adjusted child allocation still ends up at 0, 0 */ - left = gtk_widget_get_margin_left (child->widget); - right = gtk_widget_get_margin_right (child->widget); + left = gtk_widget_get_margin_start (child->widget); + right = gtk_widget_get_margin_end (child->widget); top = gtk_widget_get_margin_top (child->widget); bottom = gtk_widget_get_margin_bottom (child->widget); |