API Version: 4.0
Library Version: 4.17.1
Generated by gi-docgen 2024.2
int gtk_widget_get_margin_top ( GtkWidget* widget )
Gets the top margin of the widget.
Gtk.Widget:margin-top
Type: int
int
The top margin of widget.
widget