API Version: 4.0
Library Version: 4.7.0
int gtk_widget_get_margin_end ( GtkWidget* widget )
Gets the end margin of widget.
widget
Gtk.Widget:margin-end
int
The end margin of widget.