Widget.marginTop

Set marginTop property.

  1. int marginTop [@property getter]
  2. int marginTop [@property setter]
    class Widget
    @property
    void
    marginTop
    ()

Parameters

propval int

Margin on top side of widget.

This property adds margin outside of the widget's normal size request, the margin will be added in addition to the size from gtk.widget.Widget.setSizeRequest for example.