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