TextView.topMargin

int topMargin() @property nothrow

Get topMargin property.

Returns

The top margin for text in the text view.

Note that this property is confusingly named. In CSS terms, the value set here is padding, and it is applied in addition to the padding from the theme.

Don't confuse this property with #GtkWidget:margin-top.

void topMargin(int propval) @property nothrow

Set topMargin property.

Parameters

propval The top margin for text in the text view. Note that this property is confusingly named. In CSS terms, the value set here is padding, and it is applied in addition to the padding from the theme. Don't confuse this property with #GtkWidget:margin-top.