☰
D
dejadoc
GID:GTK4
/
gtk.widget
/
Widget.setMarginTop
🔍
☾
Widget.setMarginTop
void setMarginTop(int margin)
Sets the top margin of widget.
Parameters
margin
the top margin