Se agregó soporte para las funciones deprecadas en Gtk+ 3.12 Widget.margin_left/right

Ahora con la directiva de precompilación --disable-gnome3-support se cambian estas funciones por las deprecadas.