☰
DDOCs
GID:GTK4
v0.9.13
/
gtk.widget
/
Widget.getMarginEnd
🔍
☾
Widget.getMarginEnd
int getMarginEnd()
nothrow
Gets the end margin of widget.
Returns
The end margin of widget