gtk_widget_get_margin_right

alias gtk_widget_get_margin_right = c_gtk_widget_get_margin_right