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