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