"margin-left" -> "margin-start" && "margin-right" -> "margin-end"
authorJohn Darrington <john@darrington.wattle.id.au>
Mon, 4 Jan 2016 13:05:14 +0000 (14:05 +0100)
committerJohn Darrington <john@darrington.wattle.id.au>
Mon, 4 Jan 2016 13:05:14 +0000 (14:05 +0100)
commitcfe65232ff4bf28987ff1c1d02c9ec385de3c4af
tree327cd1992565ced517898877dbd7e3e963715a26
parent5e180775fa5a79e6f14b2798bd4a3d4ea9f51939
"margin-left" -> "margin-start" && "margin-right" -> "margin-end"

These are the preferred property names on recent Gtk releases.
src/ui/gui/examine.ui
src/ui/gui/psppire-val-chooser.c