get_right_margin_position

Description:

public uint get_right_margin_position ()

Gets the position of the right margin in the given this.

Parameters:

this

a SourceView.

Returns:

the position of the right margin.