get_margin_end

Description:

[ Version ( since = "3.12" ) ]
public int get_margin_end ()

Gets the value of the margin_end property.

Parameters:

this

a Widget

Returns:

The end margin of this