gtk/org.gtk.gtk.widgets/Widget/marginEnd

marginEnd

var marginEnd: Int
Content copied to clipboard