Documentation

Widget.marginRight

gtk widget Widget

Set marginRight property.

More...
  1. int marginRight [@property getter]
  2. int marginRight [@property setter]
    class Widget
    @property
    void
    marginRight
    (
    int propval
    )

Parameters

propval int

Margin on right 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.

Detailed Description

Deprecated: Use #GtkWidget:margin-end instead.

gtk widget Widget constructorsfunctionspropertiesstatic functions
Page generated by adrdox