get_margin_end

Description:

public int get_margin_end ()

Gets the end margin of this.

Parameters:

this	a `GtkWidget`

Returns:

The end margin of this