Gtk.Alignment.top_padding – gtk+-2.0 Reference Manual

top_padding

Description:

[ NoAccessorMethod ]
public uint top_padding { get; set; }

The padding to insert at the top of the widget.

Note:

Use gtk_widget_set_margin_top instead


Generated by valadoc