Documentation

Widget.marginTop

gtk widget Widget

Get marginTop property.

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

Return Value

Type: 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.

gtk widget Widget constructorsfunctionspropertiesstatic functions
Page generated by adrdox