Gtk.Widget.get_margin_top

Gets the value of the GtkWidget:margin-top property.