API Version: 3.0
Library Version: 3.24
property top-padding: guint [ read, write ]
The padding to insert at the top of the widget.
guint
Use gtk_widget_set_margin_top() instead.
gtk_widget_set_margin_top()