Source position: lazgtk3.pas line 17146
function gtk_widget_get_margin_top(
widget: PGtkWidget
):gint;