☰
D
dejadoc
GID:GTK4
/
gtk.widget
/
Widget.getMarginTop
🔍
☾
Widget.getMarginTop
int getMarginTop()
Gets the top margin of widget.
Returns
The top margin of widget