☰
DDOCs
GID:GTK3
v0.9.13
/
gtk.widget
/
Widget.getMarginStart
🔍
☾
Widget.getMarginStart
int getMarginStart()
nothrow
Gets the value of the #GtkWidget:margin-start property.
Returns
The start margin of widget